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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cheetah
Cheetah

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30554-30554 defaultMeasure Cheetah and 150.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30541-30552
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30558-30558 habitatOfOrganism Cheetah and Africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30557-30557 habitatOfOrganism Cheetah and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30555-30555 Cheetah a un attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30556-30556 Cheetah est une sous-classe de felin

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


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


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