relative - Sigma Knowledge base Browser

appearance as argument number 1

(instance relative BinaryPredicate)	Merge.kif 16669-16669
(domain relative 1 Organism)	Merge.kif 16670-16670
(domain relative 2 Organism)	Merge.kif 16671-16671
(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 16673-16678

appearance as argument number 2

(subrelation familyRelation relative)	Merge.kif 16680-16680
(subrelation spouse relative)	Merge.kif 16681-16681
(format EnglishLanguage relative "%2 is %n a relative of %1")	domainEnglishFormat.kif 2133-2133
(format ChineseTraditionalLanguage relative "%2 %n 是 %1 的 relative ")	domainEnglishFormat.kif 2134-2134
(format ChineseLanguage relative "%2 %n 是 %1 的 relative ")	domainEnglishFormat.kif 2135-2135
(termFormat EnglishLanguage relative "relative")	domainEnglishFormat.kif 49317-49317
(termFormat ChineseTraditionalLanguage relative "相對的")	domainEnglishFormat.kif 49318-49318
(termFormat ChineseLanguage relative "相对的")	domainEnglishFormat.kif 49319-49319

consequent

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