TreeView Knowledge Base Browser

appearance as argument number 1

(documentation familyRelation ChineseLanguage "这是生物关系上，一个最笼统的 Predicate。 (familyRelation ?ORGANISM1 ?ORGANISM2)的意思是 ?ORGANISM1 和 ?ORGANISM2 在生理上源自一个共同的祖先。")	chinese_format.kif 3683-3685
(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 16334-16336
(domain familyRelation 1 Organism)	Merge.kif 16332-16332	域家庭關係, 1 and Organism
(domain familyRelation 2 Organism)	Merge.kif 16333-16333	域家庭關係, 2 and Organism
(instance familyRelation BinaryPredicate)	Merge.kif 16331-16331	例家庭關係 and BinaryPredicate
(subrelation familyRelation relative)	Merge.kif 16321-16321	子關係家庭關係 and 相對的

appearance as argument number 2

(format ChineseLanguage familyRelation "%1 和 %2 %n 是亲属")	chinese_format.kif 545-545
(format EnglishLanguage familyRelation "%1 and %2 are %n related")	english_format.kif 550-550
(format FrenchLanguage familyRelation "%1 et %2 sont %n parents")	french_format.kif 320-320
(format ItalianLanguage familyRelation "%1 e %2 sono parenti")	relations-it.txt 108-108
(format JapaneseLanguage familyRelation "%1 と %2 は related して %n")	japanese_format.kif 2088-2088
(format PortugueseLanguage familyRelation "%1 e %2 sao %n parentes")	portuguese_format.kif 272-272
(format de familyRelation "%1 und %2 sind verwandt")	relations-de.txt 713-713
(format hi familyRelation "%1 aura %2 sambandhii hai")	relations-hindi.txt 148-148
(format ro familyRelation "%1 ºi %2 %n{nu} sunt related%t{înrudiþi}")	relations-ro.kif 341-341
(format sv familyRelation "%1 och %2 är släkt")	relations-sv.txt 354-354
(format tg familyRelation "%1 at %2 ay ugnay")	relations-tg.txt 226-226
(subrelation aunt familyRelation)	Mid-level-ontology.kif 23043-23043	子關係姑媽 and 家庭關係
(subrelation cousin familyRelation)	Mid-level-ontology.kif 23058-23058	子關係表姐 and 家庭關係
(subrelation fathersBrothersDaughter familyRelation)	ArabicCulture.kif 663-663	子關係父親兄弟的女兒 and 家庭關係
(subrelation fathersBrothersSon familyRelation)	ArabicCulture.kif 651-651	子關係父親兄弟的兒子 and 家庭關係
(subrelation fathersBrothersWife familyRelation)	ArabicCulture.kif 603-603	子關係父親兄弟的妻子 and 家庭關係
(subrelation fathersSistersDaughter familyRelation)	ArabicCulture.kif 711-711	子關係父親姐妹的女兒 and 家庭關係
(subrelation fathersSistersHusband familyRelation)	ArabicCulture.kif 627-627	子關係父親姐妹的丈夫 and 家庭關係
(subrelation fathersSistersSon familyRelation)	ArabicCulture.kif 699-699	子關係父親姐妹的兒子 and 家庭關係
(subrelation maternalAunt familyRelation)	ArabicCulture.kif 592-592	子關係母方的姑媽 and 家庭關係
(subrelation maternalUncle familyRelation)	ArabicCulture.kif 570-570	子關係母方的叔叔 and 家庭關係
(subrelation mothersBrothersDaughter familyRelation)	ArabicCulture.kif 687-687	子關係母親兄弟的女兒 and 家庭關係
(subrelation mothersBrothersSon familyRelation)	ArabicCulture.kif 675-675	子關係母親兄弟的兒子 and 家庭關係
(subrelation mothersBrothersWife familyRelation)	ArabicCulture.kif 615-615	子關係媽媽兄弟的妻子 and 家庭關係

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (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	%2 是 1% 的 government 類別例 Organism and Human 例 Organism and Human 持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism 家庭關係 Organism and Organism 早期 TimeInterval and TimeInterval 模態屬性持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism and 可能性
(=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2))))	Merge.kif 16338-16343	家庭關係 Organism and Organism Organism Organism 是 Organism 的 ancestor Organism 是 Organism 的 ancestor

consequent

(=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2))	Mid-level-ontology.kif 7269-7274	例 Object and 家族企業擁有 Organism and Object 擁有 Organism and Object 家庭關係 Organism and Organism
(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2))))	Merge.kif 16263-16270	例 Collection and FamilyGroup Organism Organism 會員 Organism and Collection 會員 Organism and Collection 家庭關係 Organism and Organism

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

KB Term:			Term intersection

English Word: