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
-------------------------


(documentation relative ChineseLanguage "(relative ?O1 ?O2)的意思是 ?O1 和 ?O2 是有相关的, 这可以是他们来自共同的祖先(血缘关系)也可以是由于某些人的婚姻(姻亲关系)或是某人被收养了。这个定义是特意地定的 概括,以便捕捉各种各样的`家族'关系。所谓`家庭'成员这个概念也因文化而异,可是这里不会讨论这方面的意义。") chinese_format.kif 3680-3682
(documentation relative EnglishLanguage "(relative ?O1 ?O2) means that ?O1 and ?O2 are relatives, whether through common ancestry (consanguinity), someone's marriage (affinity), or someone's 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 15144-15149
(domain relative 1 Organism) Merge.kif 15141-15141 相对的 的 1 数量 是 生物instance
(domain relative 2 Organism) Merge.kif 15142-15142 相对的 的 2 数量 是 生物instance
(instance relative BinaryPredicate) Merge.kif 15140-15140 相对的二元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage relative "%2 %n 是 %1 的 relative ") domainEnglishFormat.kif 2131-2131
(format ChineseTraditionalLanguage relative "%2 %n 是 %1 的 relative ") domainEnglishFormat.kif 2130-2130
(format EnglishLanguage relative "%2 is %n a relative of %1") domainEnglishFormat.kif 2129-2129
(subrelation familyRelation relative) Merge.kif 15151-15151 家属关系相对的subrelation
(subrelation spouse relative) Merge.kif 15152-15152 伴侣相对的subrelation
(termFormat ChineseLanguage relative "相对的") domainEnglishFormat.kif 49241-49241
(termFormat ChineseTraditionalLanguage relative "相對的") domainEnglishFormat.kif 49240-49240
(termFormat EnglishLanguage relative "relative") domainEnglishFormat.kif 49239-49239

consequent
-------------------------


(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR))
        (earlier ?T1 ?T2))
    (confersNorm
        (relative ?MONARCH ?SUCCESSOR)
        (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal))
Government.kif 209-221
(=>
    (and
        (holdsDuring ?T1
            (legalRelation ?A1 ?A2))
        (instance ?A1 Organism)
        (instance ?A2 Organism))
    (holdsDuring ?T1
        (relative ?A1 ?A2)))
Merge.kif 15154-15159


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