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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nanometer

Sigma KEE - Nanometer
Nanometermicromillimeter, micromillimetre, millimicron, nanometer, nanometre, nm

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18430-18431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18432-18432 Nanometer is an instance of UnitOfLength

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1192-1202
No TPTP formula. May not be expressible in strict first order. Media.kif 1156-1166
No TPTP formula. May not be expressible in strict first order. Media.kif 1257-1267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18434-18440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 599-606
No TPTP formula. May not be expressible in strict first order. Geography.kif 7099-7108


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