TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation familyRelation relative)	Merge.kif 16680-16680	family relation is a subrelation of relative
(instance familyRelation BinaryPredicate)	Merge.kif 16690-16690	family relation is an instance of binary predicate
(domain familyRelation 1 Organism)	Merge.kif 16691-16691	The number 1 argument of family relation is an instance of organism
(domain familyRelation 2 Organism)	Merge.kif 16692-16692	The number 2 argument of family relation is an instance of organism
(documentation familyRelation EnglishLanguage "A very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor.")	Merge.kif 16693-16695	The number 2 argument of family relation is an instance of organism

appearance as argument number 2

(subrelation sibling familyRelation)	Merge.kif 16821-16821	sibling is a subrelation of family relation
(subrelation aunt familyRelation)	Mid-level-ontology.kif 25361-25361	aunt is a subrelation of family relation
(subrelation cousin familyRelation)	Mid-level-ontology.kif 25376-25376	cousin is a subrelation of family relation
(subrelation nephew familyRelation)	Mid-level-ontology.kif 25424-25424	nephew is a subrelation of family relation
(subrelation niece familyRelation)	Mid-level-ontology.kif 25438-25438	niece is a subrelation of family relation
(subrelation uncle familyRelation)	Mid-level-ontology.kif 25452-25452	uncle is a subrelation of family relation
(subrelation paternalUncle familyRelation)	ArabicCulture.kif 558-558	paternal uncle is a subrelation of family relation
(subrelation maternalUncle familyRelation)	ArabicCulture.kif 571-571	maternal uncle is a subrelation of family relation
(subrelation paternalAunt familyRelation)	ArabicCulture.kif 584-584	paternal aunt is a subrelation of family relation
(subrelation maternalAunt familyRelation)	ArabicCulture.kif 597-597	maternal aunt is a subrelation of family relation
(subrelation fathersBrothersWife familyRelation)	ArabicCulture.kif 610-610	fathers brothers wife is a subrelation of family relation
(subrelation mothersBrothersWife familyRelation)	ArabicCulture.kif 624-624	mothers brothers wife is a subrelation of family relation
(subrelation fathersSistersHusband familyRelation)	ArabicCulture.kif 638-638	fathers sisters husband is a subrelation of family relation
(subrelation mothersSistersHusband familyRelation)	ArabicCulture.kif 652-652	mothers sisters husband is a subrelation of family relation
(subrelation fathersBrothersSon familyRelation)	ArabicCulture.kif 666-666	fathers brothers son is a subrelation of family relation
(subrelation fathersBrothersDaughter familyRelation)	ArabicCulture.kif 680-680	fathers brothers daughter is a subrelation of family relation
(subrelation mothersBrothersSon familyRelation)	ArabicCulture.kif 694-694	mothers brothers son is a subrelation of family relation
(subrelation mothersBrothersDaughter familyRelation)	ArabicCulture.kif 708-708	mothers brothers daughter is a subrelation of family relation
(subrelation fathersSistersSon familyRelation)	ArabicCulture.kif 722-722	fathers sisters son is a subrelation of family relation
(subrelation fathersSistersDaughter familyRelation)	ArabicCulture.kif 736-736	fathers sisters daughter is a subrelation of family relation
(subrelation mothersSistersSon familyRelation)	ArabicCulture.kif 750-750	mothers sisters son is a subrelation of family relation
(subrelation mothersSistersDaughter familyRelation)	ArabicCulture.kif 764-764	mothers sisters daughter is a subrelation of family relation
(termFormat EnglishLanguage familyRelation "family relation")	domainEnglishFormat.kif 23224-23224	mothers sisters daughter is a subrelation of family relation
(termFormat ChineseTraditionalLanguage familyRelation "家庭關係")	domainEnglishFormat.kif 23225-23225	mothers sisters daughter is a subrelation of family relation
(termFormat ChineseLanguage familyRelation "家庭关系")	domainEnglishFormat.kif 23226-23226	mothers sisters daughter is a subrelation of family relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2))))	Merge.kif 16697-16702	If X and Y are related, then there exists Z such that X is the ancestor of Z and Y is the ancestor of Z
(=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (familyRelation ?MONARCH ?SUCCESSOR) (earlier ?T1 ?T2)) (modalAttribute (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility))	Government.kif 223-234	If All of the following hold: (1) monarchy is a government type of X (2) Y is an instance of human (3) Z is an instance of human (4) X chief of state W for Y holds during V (5) Y and Z are related (6) V happens earlier than U, then the statement X chief of state W for Z holds during U has the modal force of possibility

consequent

(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2))))	Merge.kif 16622-16629	If X is an instance of family group, then For all Organisms Y and Z: if Y is a member of X and Z is a member of X, then Y and Z are related
(=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2))	Mid-level-ontology.kif 8566-8571	If X is an instance of family business, Y possesses X, and Z possesses X, then Y and Z are related

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: