No TPTP formula. May not be expressible in strict first order.	Geography.kif 888-888	域 總海岸線, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 678-678	域 土地總面積, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 478-478	域 公路系統總長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 91-91	域 鐵路系統總長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 650-650	域 水道總長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 680-680	域 區域總管道, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 397-397	域 軌道寬度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2704-2704	域 visibilityInMeteorology, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17567-17567	域 水深, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1415-1415	域 waveHeight, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 590-590	域 波長, 2 and LengthMeasure

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