Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| grandmother |
| appearance as argument number 1 |
|
| (subrelation grandmother grandparent) | Mid-level-ontology.kif 25334-25334 | grandmother is a subrelation of grandparent |
| (instance grandmother BinaryPredicate) | Mid-level-ontology.kif 25335-25335 | grandmother is an instance of binary predicate |
| (documentation grandmother EnglishLanguage "(grandmother ?PERSON ?PARENT) means that ?PARENT is the grandmother of ?PERSON.") | Mid-level-ontology.kif 25408-25409 | grandmother is an instance of binary predicate |
| (domain grandmother 1 Human) | Mid-level-ontology.kif 25410-25410 | The number 1 argument of grandmother is an instance of human |
| (domain grandmother 2 Woman) | Mid-level-ontology.kif 25411-25411 | The number 2 argument of grandmother is an instance of woman |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (grandmother ?H ?P) (exists (?C) (and (mother ?C ?P) (parent ?H ?C)))) |
Mid-level-ontology.kif 25413-25418 | If the grandmother of X is Y, then there exists Z such that Y is a mother 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 |
|