familyRelation |
appearance as argument number 1 |
(documentation familyRelation ChineseLanguage "这是生物关系上,一个最笼统的 Predicate。 (familyRelation ?ORGANISM1 ?ORGANISM2)的意思是 ?ORGANISM1 和 ?ORGANISM2 在生理上源自一个共同 的祖先。") | chinese_format.kif 3683-3685 | |
(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 16334-16336 | |
(domain familyRelation 1 Organism) | Merge.kif 16332-16332 | familyRelation の数値 1 引数は 物 の instance では %n |
(domain familyRelation 2 Organism) | Merge.kif 16333-16333 | familyRelation の数値 2 引数は 物 の instance では %n |
(instance familyRelation BinaryPredicate) | Merge.kif 16331-16331 | familyRelation は 2進述語 の instance では %n |
(subrelation familyRelation relative) | Merge.kif 16321-16321 | familyRelation は relative の subrelation では %n |
appearance as argument number 2 |
antecedent |
(=> (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 |
|
(=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2)))) |
Merge.kif 16338-16343 |
consequent |
(=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 7269-7274 | |
(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16263-16270 |