No TPTP formula. May not be expressible in strict first order.	Transportation.kif 706-706	域 原油管道長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 203-203	域 雙軌鐵路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 119-119	域 電氣化鐵路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 563-563	域 高速公路系統的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 147-147	域 多軌鐵路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 231-231	域 窄軌鐵路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 729-729	域 天然氣管道長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 537-537	域 鋪設高速公路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 752-752	域 石油產品管道的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 258-258	域 標準軌距鐵路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 286-286	域 未分類軌距的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 596-596	域 未鋪砌的公路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17967-17967	域 線測量, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7532-7532	域 linearExtent, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5021-5021	域 lowTide, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 110-110	域 最大有效負載高度寬度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 111-111	域 最大有效負載高度寬度, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4852-4852	域 平均海平面, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2647-2647	域 可通航草案, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 732-732	域 physicalAmplitude, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1937-1937	域 pistonStroke, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7646-7646	域 半徑, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 757-757	域 sharedBorderLength, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1526-1526	域 significantWaveHeight, 3 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13444-13444	域 sphereRadius, 2 and LengthMeasure
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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