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