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 14649-14649 不相交分解 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 14650-14651
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 14648-14648 子類 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 14653-14653 子類 Ape and Primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14661-14661 子類 Hominid and Primate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30459-30459 子類 Lemur and Primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14657-14657 子類 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 12708-12721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12681-12694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11197-11210

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12461-12466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12840-12845
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12784-12789


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