relative - Sigma Knowledge base Browser

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 16489-16494
(domain relative 1 Organism)	Merge.kif 16486-16486	相对的的 1 数量是生物的 instance
(domain relative 2 Organism)	Merge.kif 16487-16487	相对的的 2 数量是生物的 instance
(instance relative BinaryPredicate)	Merge.kif 16485-16485	相对的是二元谓语的 instance

appearance as argument number 2

(format ChineseLanguage relative "%2 %n 是 %1 的 relative ")	domainEnglishFormat.kif 2135-2135
(format ChineseTraditionalLanguage relative "%2 %n 是 %1 的 relative ")	domainEnglishFormat.kif 2134-2134
(format EnglishLanguage relative "%2 is %n a relative of %1")	domainEnglishFormat.kif 2133-2133
(subrelation familyRelation relative)	Merge.kif 16496-16496	家属关系是相对的的 subrelation
(subrelation spouse relative)	Merge.kif 16497-16497	伴侣是相对的的 subrelation
(termFormat ChineseLanguage relative "相对的")	domainEnglishFormat.kif 49326-49326	伴侣是相对的的 subrelation
(termFormat ChineseTraditionalLanguage relative "相對的")	domainEnglishFormat.kif 49325-49325	伴侣是相对的的 subrelation
(termFormat EnglishLanguage relative "relative")	domainEnglishFormat.kif 49324-49324	伴侣是相对的的 subrelation

consequent

(=>
    (and
        (holdsDuring ?T1
            (legalRelation ?A1 ?A2))
        (instance ?A1 Organism)
        (instance ?A2 Organism))
    (holdsDuring ?T1
        (relative ?A1 ?A2)))

Merge.kif 16499-16504