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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lemur
Lemur

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30457-30457 Lemur 的 maximum 預期價值是 測量 20.0 and 磅質量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30458-30458 Lemur 的 minimum 預期價值是 測量 1.0 and 盎司
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30447-30455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30460-30460 Lemur inhabits 馬達加斯加
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30461-30461 屬性 Lemur and CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30459-30459 子類 Lemur and Primate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30462-30462


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



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