| appearance as argument number 1 |
|
| s__documentation(s__relative__m,s__ChineseLanguage,'"(relative ?O1 ?O2)的意思是 ?O1 和 ?O2 是有相关的， 这可以是他们来自共同的祖先(血缘关系)也可以是由于某些人的婚姻(姻亲关系)或是某人被收养了。这个定义是特意地定的 概括，以便捕捉各种各样的`家族关系。所谓`家庭成员这个概念也因文化而异，可是这里不会讨论这方面的意义。"')
|
chinese_format.kif 3680-3682 | |
| s__documentation(s__relative__m,s__EnglishLanguage,'"(relative ?O1 ?O2) means that ?O1 and ?O2 are relatives, whether through common ancestry (consanguinity), someones marriage (affinity), or someones adoption. This definition is intentionally broad, so as to capture a wide array of `familial relations. The notion of who counts as `family also varies between cultures, but that aspect of meaning is not addressed here."')
|
Merge.kif 15117-15122 | |
| s__domain(s__relative__m,n__1,s__Organism)
|
Merge.kif 15114-15114 | The number 1 argument of relative is an instance of organism |
| s__domain(s__relative__m,n__2,s__Organism)
|
Merge.kif 15115-15115 | The number 2 argument of relative is an instance of organism |
| s__instance(s__relative__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)
|
Merge.kif 15113-15113 | relative is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__relative__m,'"%2 %n 是 %1 的 relative "')
|
domainEnglishFormat.kif 2131-2131 | |
| s__format(s__ChineseTraditionalLanguage,s__relative__m,'"%2 %n 是 %1 的 relative "')
|
domainEnglishFormat.kif 2130-2130 | |
| s__format(s__EnglishLanguage,s__relative__m,'"%2 is %n a relative of %1"')
|
domainEnglishFormat.kif 2129-2129 | |
| s__subrelation(s__familyRelation__m,s__relative__m)
|
Merge.kif 15124-15124 | family relation is a subrelation of relative |
| s__subrelation(s__spouse__m,s__relative__m)
|
Merge.kif 15125-15125 | spouse is a subrelation of relative |
| s__termFormat(s__ChineseLanguage,s__relative__m,'"相对的"')
|
domainEnglishFormat.kif 49220-49220 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__relative__m,'"相對的"')
|
domainEnglishFormat.kif 49219-49219 | |
| s__termFormat(s__EnglishLanguage,s__relative__m,'"relative"')
|
domainEnglishFormat.kif 49218-49218 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 209-221 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15127-15132 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners