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 16405-16407 | |
(domain familyRelation 1 Organism) | Merge.kif 16403-16403 | Il numero 1 argomenti di familyRelation è un istanza di Organismo |
(domain familyRelation 2 Organism) | Merge.kif 16404-16404 | Il numero 2 argomenti di familyRelation è un istanza di Organismo |
(instance familyRelation BinaryPredicate) | Merge.kif 16402-16402 | familyRelation è un' istanza di PredicatoBinario |
(subrelation familyRelation relative) | Merge.kif 16392-16392 | familyRelation è una sottorelazione di relative |
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 16409-16414 |
consequent |
(=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 7296-7301 | |
(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16334-16341 |
|