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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bacteria

 Sigma KEE - Primate
Primate(primate)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 Primate est disjointement decompos� en simien, singe, + 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 est une sous-classe de mammif�re

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 21-21 initialPart os and primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14631-14631 Simien est une sous-classe de primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14639-14639 Hominid� est une sous-classe de primate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30471-30471 Lemur est une sous-classe de primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14635-14635 Singe est une sous-classe de 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