Follow project on Twitter
NederlandsEnglish

Block 3: Grouping of knowledge

Definition 4:


“{proper noun 1} has a/an {singular noun}, called {proper noun 2}”
and
“{proper noun 1} has a/an {singular noun}, called {proper noun 3}”
equals to
“{proper noun 1} has {number: 2} {plural form of singular noun}, called {proper noun 2} and {proper noun 3}”


Example:


Variables: proper noun 1 = “Paul”, proper noun 2 = “John”, proper noun 3 = “Anna”, singular noun = “parent

> Given: “John is a parent of Paul.”

• Generated conclusion:
< “Paul has a parent, called John.”              (generated by definition 1)
>
> Given: “Anna is a parent of Paul.”

• Generated conclusion:
< “Paul has 2 parent [plural of 'parent' is unknown], called John and Anna.”
>
> Given: “Paul has 2 parents, called John and Anna.”

• Detected that the generated conclusion is confirmed:
< “Paul has 2 parent [plural of 'parent' is unknown], called John and Anna.”

• Detected: You have entered plural noun “parents”, which was unknown to me.