Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| familyRelation |
| appearance as argument number 1 |
|
| (subrelation familyRelation relative) | Merge.kif 16680-16680 | family relation is a subrelation of relative |
| (instance familyRelation BinaryPredicate) | Merge.kif 16690-16690 | family relation is an instance of binary predicate |
| (domain familyRelation 1 Organism) | Merge.kif 16691-16691 | The number 1 argument of family relation is an instance of organism |
| (domain familyRelation 2 Organism) | Merge.kif 16692-16692 | The number 2 argument of family relation is an instance of organism |
| (documentation familyRelation EnglishLanguage "A very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor.") | Merge.kif 16693-16695 | The number 2 argument of family relation is an instance of organism |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2)))) |
Merge.kif 16697-16702 | If X and Y are related, then there exists Z such that X is the ancestor of Z and Y is the ancestor of Z |
| (=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (familyRelation ?MONARCH ?SUCCESSOR) (earlier ?T1 ?T2)) (modalAttribute (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility)) |
Government.kif 223-234 | If All of the following hold: (1) monarchy is a government type of X (2) Y is an instance of human (3) Z is an instance of human (4) X chief of state W for Y holds during V (5) Y and Z are related (6) V happens earlier than U, then the statement X chief of state W for Z holds during U has the modal force of possibility |
| consequent |
|
|
| (=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16622-16629 | If X is an instance of family group, then For all Organisms Y and Z: if Y is a member of X and Z is a member of X, then Y and Z are related |
| (=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 8566-8571 | If X is an instance of family business, Y possesses X, and Z possesses X, then Y and Z are related |
|