No TPTP formula. May not be expressible in strict first order.	Weather.kif 134-134	域 地面風速, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 105-105	域 地面風速率, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10429-10429	域 systolicBloodPressure, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2621-2621	域 總生物量, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2525-2525	域 船隻位移, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2546-2546	域 船舶總註冊噸位, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26369-26369	域 voltageMeasure, 2 and PhysicalQuantity

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