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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Valet

 Sigma KEE - Lemur
Lemur

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30469-30469 defaultMaximumMeasure Lemur and 20.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30470-30470 defaultMinimumMeasure Lemur and 1.0 Ounce(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30459-30467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30472-30472 habitatOfOrganism Lemur and Madagascar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30473-30473 Lemur tem um atributo de CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30471-30471 Lemur e' uma sub-classe de Primata

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


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


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