familyRelation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3683-3685
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16334-16336
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16332-16332	域家庭關係, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	域家庭關係, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16331-16331	例家庭關係 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16321-16321	子關係家庭關係 and 相對的

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 545-545
No TPTP formula. May not be expressible in strict first order.	english_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.	french_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 108-108
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2088-2088
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 713-713
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 341-341
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 354-354
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 226-226
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23043-23043	子關係姑媽 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23058-23058	子關係表姐 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 663-663	子關係父親兄弟的女兒 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 651-651	子關係父親兄弟的兒子 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 603-603	子關係父親兄弟的妻子 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 711-711	子關係父親姐妹的女兒 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 627-627	子關係父親姐妹的丈夫 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 699-699	子關係父親姐妹的兒子 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 592-592	子關係母方的姑媽 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 570-570	子關係母方的叔叔 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 687-687	子關係母親兄弟的女兒 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 675-675	子關係母親兄弟的兒子 and 家庭關係
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 615-615	子關係媽媽兄弟的妻子 and 家庭關係

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	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 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16338-16343	家庭關係 Organism and Organism Organism Organism 是 Organism 的 ancestor Organism 是 Organism 的 ancestor

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7269-7274	例 Object and 家族企業擁有 Organism and Object 擁有 Organism and Object 家庭關係 Organism and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16263-16270	例 Collection and FamilyGroup Organism Organism 會員 Organism and Collection 會員 Organism and Collection 家庭關係 Organism and Organism

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: