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 16356-16358 | |
(domain familyRelation 1 Organism) | Merge.kif 16354-16354 | familyRelation の数値 1 引数は 物 の instance では %n |
(domain familyRelation 2 Organism) | Merge.kif 16355-16355 | familyRelation の数値 2 引数は 物 の instance では %n |
(instance familyRelation BinaryPredicate) | Merge.kif 16353-16353 | familyRelation は 2進述語 の instance では %n |
(subrelation familyRelation relative) | Merge.kif 16343-16343 | 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 16360-16365 |
consequent |
(=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 7268-7273 | |
(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16285-16292 |