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 灵长类动物 分拆成不相交的 , 猴子, 和 原始人类
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 灵长类动物哺乳动物subclass

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 21-21 %每个 骨骼灵长类动物initially part
No TPTP formula. May not be expressible in strict first order. Merge.kif 14631-14631 灵长类动物subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14639-14639 原始人类灵长类动物subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30471-30471 Lemur灵长类动物subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14635-14635 猴子灵长类动物subclass
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