Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - relative
relative

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