TreeView Knowledge Base Browser

appearance as argument number 1

(instance relative BinaryPredicate)	Merge.kif 16669-16669	relative is an instance of binary predicate
(domain relative 1 Organism)	Merge.kif 16670-16670	The number 1 argument of relative is an instance of organism
(domain relative 2 Organism)	Merge.kif 16671-16671	The number 2 argument of relative is an instance of organism
(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	The number 2 argument of relative is an instance of organism

appearance as argument number 2

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

consequent

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

If there is a legal relation between X and Y holds during Z, X is an instance of organism, and Y is an instance of organism, then Y is a relative of X holds during Z