| 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 | |
| (domain familyRelation 2 Organism) | Merge.kif 16404-16404 | |
| (instance familyRelation BinaryPredicate) | Merge.kif 16402-16402 | |
| (subrelation familyRelation relative) | Merge.kif 16392-16392 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage familyRelation "%1 和 %2 %n 是 亲属") | chinese_format.kif 545-545 | |
| (format EnglishLanguage familyRelation "%1 and %2 are %n related") | english_format.kif 550-550 | |
| (format FrenchLanguage familyRelation "%1 et %2 sont %n parents") | french_format.kif 320-320 | |
| (format ItalianLanguage familyRelation "%1 e %2 sono parenti") | relations-it.txt 108-108 | |
| (format JapaneseLanguage familyRelation "%1 と %2 は related して %n") | japanese_format.kif 2088-2088 | |
| (format PortugueseLanguage familyRelation "%1 e %2 sao %n parentes") | portuguese_format.kif 272-272 | |
| (format de familyRelation "%1 und %2 sind verwandt") | relations-de.txt 713-713 | |
| (format hi familyRelation "%1 aura %2 sambandhii hai") | relations-hindi.txt 148-148 | |
| (format ro familyRelation "%1 ºi %2 %n{nu} sunt related%t{înrudiþi}") | relations-ro.kif 341-341 | |
| (format sv familyRelation "%1 och %2 är släkt") | relations-sv.txt 354-354 | |
| (format tg familyRelation "%1 at %2 ay ugnay") | relations-tg.txt 226-226 | |
| (subrelation aunt familyRelation) | Mid-level-ontology.kif 23095-23095 | |
| (subrelation cousin familyRelation) | Mid-level-ontology.kif 23110-23110 | |
| (subrelation fathersBrothersDaughter familyRelation) | ArabicCulture.kif 663-663 | |
| (subrelation fathersBrothersSon familyRelation) | ArabicCulture.kif 651-651 | |
| (subrelation fathersBrothersWife familyRelation) | ArabicCulture.kif 603-603 | |
| (subrelation fathersSistersDaughter familyRelation) | ArabicCulture.kif 711-711 | |
| (subrelation fathersSistersHusband familyRelation) | ArabicCulture.kif 627-627 | |
| (subrelation fathersSistersSon familyRelation) | ArabicCulture.kif 699-699 | |
| (subrelation maternalAunt familyRelation) | ArabicCulture.kif 592-592 | |
| (subrelation maternalUncle familyRelation) | ArabicCulture.kif 570-570 | |
| (subrelation mothersBrothersDaughter familyRelation) | ArabicCulture.kif 687-687 | |
| (subrelation mothersBrothersSon familyRelation) | ArabicCulture.kif 675-675 | |
| (subrelation mothersBrothersWife familyRelation) | ArabicCulture.kif 615-615 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners