SystemeInternationalUnit(systeme international unit)

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6886-6886 Tesla is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6831-6831 Volt is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6794-6794 Watt is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6876-6876 Weber is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1302-1302
No TPTP formula. May not be expressible in strict first order. english_format.kif 1821-1821


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