TreeView Knowledge Base Browser

appearance as argument number 2

(format EnglishLanguage ImmediateFamilyFn "the immediate family of %1")	domainEnglishFormat.kif 1247-1247
(format ChineseTraditionalLanguage ImmediateFamilyFn "%1 的 immediate 家庭")	domainEnglishFormat.kif 1248-1248
(format ChineseLanguage ImmediateFamilyFn "%1 的 immediate 家庭")	domainEnglishFormat.kif 1249-1249
(termFormat EnglishLanguage ImmediateFamilyFn "immediate family")	domainEnglishFormat.kif 29345-29345
(termFormat ChineseTraditionalLanguage ImmediateFamilyFn "直系親屬")	domainEnglishFormat.kif 29346-29346
(termFormat ChineseLanguage ImmediateFamilyFn "直系亲属")	domainEnglishFormat.kif 29347-29347

antecedent

(=> (equal (ImmediateFamilyFn ?P) ?FAMILY) (forall (?MEMBER) (=> (member ?MEMBER ?FAMILY) (exists (?OTHER) (or (parent ?MEMBER ?OTHER) (parent ?OTHER ?MEMBER))))))	Merge.kif 16650-16658	If equal the immediate family of X and Y, then For all Organism Z: if Z is a member of Y, then there exists W such that W is a parent of Z or Z is a parent of W
(=> (equal (ImmediateFamilyFn ?PERSON) ?FAMILY) (exists (?MEMBER) (and (member ?MEMBER ?FAMILY) (or (parent ?MEMBER ?PERSON) (parent ?PERSON ?MEMBER)))))	Merge.kif 16660-16667	If equal the immediate family of X and Y, then there exists Z such that Z is a member of Y and X is a parent of Z or Z is a parent of X