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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Primate

 Sigma KEE - Primate
Primate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 不相交分解 Primate, Ape, Monkey and Hominid
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3434-3434
No TPTP formula. May not be expressible in strict first order. Merge.kif 14628-14629
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 237-237
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 236-236
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 235-235
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 234-234
No TPTP formula. May not be expressible in strict first order. Merge.kif 14626-14626 子類 Primate and Mammal

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 21-21 %每個 Bone 是 Primate 的 initially part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14631-14631 子類 Ape and Primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14639-14639 子類 Hominid and Primate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30471-30471 子類 Lemur and Primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14635-14635 子類 Monkey and Primate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 998-998
No TPTP formula. May not be expressible in strict first order. english_format.kif 1203-1203
No TPTP formula. May not be expressible in strict first order. french_format.kif 675-675
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 206-206
No TPTP formula. May not be expressible in strict first order. terms-it.txt 209-209
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2359-2359
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 627-627
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 243-243
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 696-696
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 210-210

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12682-12695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11198-11211

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12462-12467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12841-12846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12785-12790


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