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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ohm

 Sigma KEE - Ohm
Ohm

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2547-2549
No TPTP formula. May not be expressible in strict first order. Merge.kif 6952-6957
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1249-1251
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6741-6741
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7464-7464
No TPTP formula. May not be expressible in strict first order. Merge.kif 6949-6949 Ohm est une instance de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6950-6950 Ohm est une instance de syst�me d'unit� international

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41924-41924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41923-41923
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41922-41922


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