Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| grandfather |
| appearance as argument number 1 |
|
| (subrelation grandfather grandparent) | Mid-level-ontology.kif 25336-25336 | grandfather is a subrelation of grandparent |
| (instance grandfather BinaryPredicate) | Mid-level-ontology.kif 25337-25337 | grandfather is an instance of binary predicate |
| (documentation grandfather EnglishLanguage "(grandfather ?PERSON ?PARENT) means that ?PARENT is the grandfather of ?PERSON.") | Mid-level-ontology.kif 25396-25397 | grandfather is an instance of binary predicate |
| (domain grandfather 1 Human) | Mid-level-ontology.kif 25398-25398 | The number 1 argument of grandfather is an instance of human |
| (domain grandfather 2 Man) | Mid-level-ontology.kif 25399-25399 | The number 2 argument of grandfather is an instance of man |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (grandfather ?H ?P) (exists (?C) (and (father ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 25401-25406 | If the grandfather of X is Y, then there exists Z such that Y is a father of Z and Z is a parent of X |
| consequent |
|
|
| (<=> (cousin ?P1 ?P2) (and (exists (?G1 ?G2) (and (grandmother ?P1 ?G1) (grandfather ?P1 ?G2) (grandmother ?P2 ?G1) (grandfather ?P2 ?G2))) (not (exists (?M ?F) (and (mother ?P1 ?M) (father ?P1 ?F) (mother ?P2 ?M) (father ?P2 ?F)))))) |
Mid-level-ontology.kif 25379-25394 | All of the following hold: (1) X (2) Y are cousins if (3) only if there exist Z (4) W such that the grandmother of X is Z (5) the grandfather of X is W (6) the grandmother of Y is Z (7) the grandfather of Y is W (8) there don't exist V (9) U such that V is a mother of X (10) U is a father of X (11) V is a mother of Y (12) U is a father of Y |
|