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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lemur
Lemur(lemur)Arctocebus_calabarensis, Avahi_laniger, Daubentonia_madagascariensis, Indri_brevicaudatus, Indri_indri, Lemur_catta, Lemuridae, Loris_gracilis, Madagascar_cat, Nycticebus_pygmaeus, Nycticebus_tardigradua, Perodicticus_potto, angwantibo, aye-aye, bush_baby, bushbaby, family_Lemuridae, galago, genus_Lemur, golden_potto, indri, indris, kinkajou, lemur, potto, ring-tailed_lemur, slender_loris, slow_loris, woolly_indris

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30493-30493 The maximum expected value of lemur is 20.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30494-30494 The minimum expected value of lemur is 1.0 ounce(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30483-30491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30496-30496 Lemur inhabits madagascar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30497-30497 Lemur the attribute critically endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30495-30495 Lemur is a subclass of primate

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


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


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