Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  sibling

 Sigma KEE - sibling
sibling

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3699-3700
No TPTP formula. May not be expressible in strict first order. Merge.kif 16489-16491
No TPTP formula. May not be expressible in strict first order. Merge.kif 16487-16487 域 兄弟, 1 and Organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16488-16488 域 兄弟, 2 and Organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16482-16482 例 兄弟 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16486-16486 例 兄弟 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16483-16483 例 兄弟 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16485-16485 例 兄弟 and SymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16484-16484 子關係 兄弟 and 家庭關係

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 529-529
No TPTP formula. May not be expressible in strict first order. english_format.kif 534-534
No TPTP formula. May not be expressible in strict first order. french_format.kif 312-312
No TPTP formula. May not be expressible in strict first order. relations-it.txt 261-261
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2080-2080
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 318-318
No TPTP formula. May not be expressible in strict first order. relations-de.txt 689-689
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 298-298
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 333-333
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 343-343
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 453-453
No TPTP formula. May not be expressible in strict first order. Merge.kif 16521-16521 子關係 哥哥 and 兄弟
No TPTP formula. May not be expressible in strict first order. Merge.kif 16530-16530 子關係 妹妹 and 兄弟
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52922-52922
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 530-530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52921-52921
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52920-52920

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16503-16507

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23108-23113 人 是 Human 的 nephew Organism 兄弟 Organism and Human 人 是 Organism 的 son
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23122-23127 女人 是 Human 的 niece Organism 兄弟 Organism and Human 女人 是 Organism 的 daughter
No TPTP formula. May not be expressible in strict first order. Merge.kif 16493-16501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7492-7499


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

Show without tree


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