(=>
(and
(instance ?REP SexualReproduction)
(result ?REP ?ORGANISM))
(exists (?MOTHER ?FATHER)
(and
(mother ?ORGANISM ?MOTHER)
(father ?ORGANISM ?FATHER)))) |
Merge.kif 10583-10590 |
If X is an instance of sexual reproduction and Y is a result of X, then there exist Z, W such that Z is a mother of Y, and W is a father of Y |
(=>
(and
(parent ?CHILD ?PARENT)
(instance ?REP SexualReproduction)
(agent ?REP ?PARENT)
(result ?REP ?CHILD))
(or
(mother ?CHILD ?PARENT)
(father ?CHILD ?PARENT))) |
Merge.kif 16745-16753 |
If X is a parent of Y, Z is an instance of sexual reproduction, X is an agent of Z, and Y is a result of Z, then X is a mother of Y or X is a father of Y |
(=>
(and
(parent ?CHILD ?PARENT)
(attribute ?PARENT Male))
(father ?CHILD ?PARENT)) |
Merge.kif 16846-16850 |
If X is a parent of Y and male is an attribute of X, then X is a father of Y |
(=>
(instance ?MULE Mule)
(exists (?DONKEY ?HORSE)
(and
(father ?MULE ?DONKEY)
(instance ?DONKEY Donkey)
(mother ?MULE ?HORSE)
(instance ?HORSE Horse)))) |
Mid-level-ontology.kif 22413-22420 |
If X is an instance of mule, then there exist Y, Z such that Y is a father of X, Y is an instance of donkey, Z is a mother of X, and Z is an instance of horse |
(=>
(and
(parent ?CHILD ?PARENT)
(instance ?PARENT Man))
(father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25339-25343 |
If X is a parent of Y and X is an instance of man, then X is a father of Y |
(<=>
(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 |
(=>
(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 |
(<=>
(stepfather ?P ?F)
(exists (?M)
(and
(mother ?P ?M)
(spouse ?F ?M)
(not
(father ?P ?F))))) |
Mid-level-ontology.kif 25470-25477 |
X is the stepfather of Y if, only if there exists Z such that Z is a mother of Y, X is the spouse of Z, and X is not a father of Y |
(<=>
(stepmother ?P ?M)
(exists (?F)
(and
(father ?P ?F)
(spouse ?M ?F)
(not
(mother ?P ?M))))) |
Mid-level-ontology.kif 25487-25494 |
X is the stepfather of Y if, only if there exists Z such that Z is a father of Y, X is the spouse of Z, and X is not a mother of Y |
(=>
(paternalUncle ?P ?UNC)
(exists (?F)
(and
(father ?P ?F)
(brother ?F ?UNC)))) |
ArabicCulture.kif 563-568 |
If the paternal uncle of X is Y, then there exists Z such that Z is a father of X and Z is the brother of Y |
(=>
(paternalAunt ?P ?AUN)
(exists (?F)
(and
(father ?P ?F)
(sister ?F ?AUN)))) |
ArabicCulture.kif 589-594 |
If the paternal aunt of X is Y, then there exists Z such that Z is a father of X and Z is the sister of Y |
(=>
(fathersBrothersWife ?P ?W)
(exists (?F ?UNC)
(and
(father ?P ?F)
(brother ?F ?UNC)
(wife ?UNC ?W)))) |
ArabicCulture.kif 615-621 |
If X is the father's brother's wife of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the wife of Y |
(=>
(fathersSistersHusband ?P ?H)
(exists (?F ?AUN)
(and
(father ?P ?F)
(sister ?F ?AUN)
(husband ?AUN ?H)))) |
ArabicCulture.kif 643-649 |
If X is the father's sister's husband of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the husband of Y |
(=>
(fathersBrothersSon ?P ?H)
(exists (?F ?UNC)
(and
(father ?P ?F)
(brother ?F ?UNC)
(son ?UNC ?H)))) |
ArabicCulture.kif 671-677 |
If X is the father's brother's son of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the son of Y |
(=>
(fathersBrothersDaughter ?P ?H)
(exists (?F ?UNC)
(and
(father ?P ?F)
(brother ?F ?UNC)
(daughter ?UNC ?H)))) |
ArabicCulture.kif 685-691 |
If X is the father's brother's daughter of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the daughter of Y |
(=>
(fathersSistersSon ?P ?H)
(exists (?F ?AUN)
(and
(father ?P ?F)
(sister ?F ?AUN)
(son ?AUN ?H)))) |
ArabicCulture.kif 727-733 |
If X is the father's sister's son of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the son of Y |
(=>
(fathersSistersDaughter ?P ?H)
(exists (?F ?AUN)
(and
(father ?P ?F)
(sister ?F ?AUN)
(daughter ?AUN ?H)))) |
ArabicCulture.kif 741-747 |
If X is the father's sister's daughter of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the daughter of Y |
(=>
(holdsDuring ?T
(attribute ?P BereavedFather))
(exists (?BEFORE ?C)
(and
(earlier ?BEFORE ?T)
(holdsDuring ?BEFORE
(father ?P ?C))
(holdsDuring ?T
(attribute ?C Dead))))) |
ArabicCulture.kif 791-797 |
If bereaved father is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a father of X holds during Z, and dead is an attribute of W holds during Y |
AppleIPhoneOS2