| 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 16460-16462 | |
| (domain familyRelation 1 Organism) | Merge.kif 16458-16458 | |
| (domain familyRelation 2 Organism) | Merge.kif 16459-16459 | |
| (instance familyRelation BinaryPredicate) | Merge.kif 16457-16457 | |
| (subrelation familyRelation relative) | Merge.kif 16447-16447 |
| 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 24692-24692 | |
| (subrelation cousin familyRelation) | Mid-level-ontology.kif 24707-24707 | |
| (subrelation fathersBrothersDaughter familyRelation) | ArabicCulture.kif 681-681 | |
| (subrelation fathersBrothersSon familyRelation) | ArabicCulture.kif 667-667 | |
| (subrelation fathersBrothersWife familyRelation) | ArabicCulture.kif 611-611 | |
| (subrelation fathersSistersDaughter familyRelation) | ArabicCulture.kif 737-737 | |
| (subrelation fathersSistersHusband familyRelation) | ArabicCulture.kif 639-639 | |
| (subrelation fathersSistersSon familyRelation) | ArabicCulture.kif 723-723 | |
| (subrelation maternalAunt familyRelation) | ArabicCulture.kif 598-598 | |
| (subrelation maternalUncle familyRelation) | ArabicCulture.kif 572-572 | |
| (subrelation mothersBrothersDaughter familyRelation) | ArabicCulture.kif 709-709 | |
| (subrelation mothersBrothersSon familyRelation) | ArabicCulture.kif 695-695 | |
| (subrelation mothersBrothersWife familyRelation) | ArabicCulture.kif 625-625 | |
| 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 16464-16469 |
| consequent |
|
|
| (=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 8456-8461 | |
| (=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16389-16396 |
|
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