relative - Sigma Knowledge base Browser

appearance as argument number 1

s__instance(s__relative,s__BinaryPredicate)	Merge.kif 16669-16669	relative is an instance of binary predicate
s__domain(s__relative,n__1,s__Organism)	Merge.kif 16670-16670	The number 1 argument of relative is an instance of organism
s__domain(s__relative,n__2,s__Organism)	Merge.kif 16671-16671	The number 2 argument of relative is an instance of organism
s__documentation(s__relative, 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 16673-16678	The number 2 argument of relative is an instance of organism

appearance as argument number 2

s__subrelation(s__familyRelation,s__relative)	Merge.kif 16680-16680	family relation is a subrelation of relative
s__subrelation(s__spouse,s__relative)	Merge.kif 16681-16681	spouse is a subrelation of relative
s__format(s__EnglishLanguage, s__relative, "%2 is %n a relative of %1")	domainEnglishFormat.kif 2133-2133	spouse is a subrelation of relative
s__format(s__ChineseTraditionalLanguage, s__relative, "%2 %n 是 %1 的 relative ")	domainEnglishFormat.kif 2134-2134	spouse is a subrelation of relative
s__format(s__ChineseLanguage, s__relative, "%2 %n 是 %1 的 relative ")	domainEnglishFormat.kif 2135-2135	spouse is a subrelation of relative
s__termFormat(s__EnglishLanguage, s__relative, "relative")	domainEnglishFormat.kif 49317-49317	spouse is a subrelation of relative
s__termFormat(s__ChineseTraditionalLanguage, s__relative, "相對的")	domainEnglishFormat.kif 49318-49318	spouse is a subrelation of relative
s__termFormat(s__ChineseLanguage, s__relative, "相对的")	domainEnglishFormat.kif 49319-49319	spouse is a subrelation of relative

consequent

! [V__A1 : $i,V__A2 : $i,V__T1 : $i] : (((s__holdsDuring(V__T1, s__legalRelation(V__A1, V__A2)) & s__instance(V__A1, s__Organism) & s__instance(V__A2, s__Organism)) => s__holdsDuring(V__T1, s__relative(V__A1, V__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