(=>
(and
(instance ?REP AsexualReproduction)
(result ?REP ?ORGANISM)
(parent ?ORGANISM ?PARENT1)
(parent ?ORGANISM ?PARENT2))
(equal ?PARENT1 ?PARENT2)) |
Merge.kif 10610-10616 |
If X is an instance of asexual reproduction, Y is a result of X, Z is a parent of Y, and W is a parent of Y, then equal Z and W |
(=>
(parent ?CHILD ?PARENT)
(ancestor ?CHILD ?PARENT)) |
Merge.kif 16730-16732 |
If X is a parent of Y, then X is the ancestor of Y |
(=>
(parent ?CHILD ?PARENT)
(before
(BeginFn
(WhenFn ?PARENT))
(BeginFn
(WhenFn ?CHILD)))) |
Merge.kif 16734-16736 |
If X is a parent of Y, then the beginning of the time of existence of X happens before the beginning of the time of existence of Y |
(=>
(and
(parent ?CHILD ?PARENT)
(subclass ?CLASS Organism)
(instance ?PARENT ?CLASS))
(instance ?CHILD ?CLASS)) |
Merge.kif 16738-16743 |
If X is a parent of Y, Z is a subclass of organism, and X is an instance of Z, then Y is an instance of Z |
(=>
(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 ?ORGANISM1 ?PARENT1)
(parent ?ORGANISM2 ?PARENT1)
(parent ?ORGANISM1 ?PARENT2)
(parent ?ORGANISM2 ?PARENT2)
(not
(equal ?ORGANISM1 ?ORGANISM2))
(not
(equal ?PARENT1 ?PARENT2)))
(sibling ?ORGANISM1 ?ORGANISM2)) |
Merge.kif 16830-16838 |
If All of the following hold: (1) X is a parent of Y (2) X is a parent of Z (3) W is a parent of Y (4) W is a parent of Z (5) equal Y and Z (6) equal X and W, then Y is a sibling of Z |
(=>
(and
(sibling ?ORG1 ?ORG2)
(parent ?ORG1 ?PARENT))
(parent ?ORG2 ?PARENT)) |
Merge.kif 16840-16844 |
If X is a sibling of Y and Z is a parent of X, then Z is a parent 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 |
(=>
(and
(parent ?CHILD ?PARENT)
(attribute ?PARENT Female))
(mother ?CHILD ?PARENT)) |
Merge.kif 16852-16856 |
If X is a parent of Y and female is an attribute of X, then X is a mother of Y |
(=>
(parent ?CHILD ?PARENT)
(older ?PARENT ?CHILD)) |
Mid-level-ontology.kif 396-398 |
If X is a parent of Y, then Y is an older of X |
(=>
(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 |
(=>
(and
(parent ?CHILD ?PARENT)
(instance ?CHILD Man))
(son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25345-25349 |
If X is a parent of Y and Y is an instance of man, then Y is the son of X |
(=>
(and
(parent ?CHILD ?PARENT)
(instance ?CHILD Woman))
(daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25351-25355 |
If X is a parent of Y and Y is an instance of woman, then Y is the daughter of X |
(=>
(and
(parent ?CHILD ?PARENT1)
(parent ?CHILD ?PARENT2)
(holdsDuring ?T1
(and
(spouse ?PARENT1 ?PARENT2)
(cohabitant ?PARENT1 ?PARENT2)
(cohabitant ?CHILD ?PARENT1))))
(exists (?FAM)
(and
(instance ?FAM NuclearFamily)
(holdsDuring ?T1
(and
(member ?CHILD ?FAM)
(member ?PARENT1 ?FAM)
(member ?PARENT2 ?FAM)))))) |
Mid-level-ontology.kif 25504-25520 |
If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W |
(=>
(and
(parent ?CHILD ?PARENT)
(or
(instance ?CHILD HumanChild)
(instance ?CHILD HumanBaby)))
(modalAttribute
(exists (?CARE)
(and
(instance ?CARE ChildCareService)
(wants ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1907-1918 |
If X is a parent of Y and Y is an instance of human child or Y is an instance of human baby, then the statement there exists Z such that Z is an instance of child-care service and X wants Z has the modal force of possibility |
parent