|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 706-706 | 原油管道长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 203-203 | 双轨铁路的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 119-119 | 电气化铁路的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 563-563 | 高速公路系统的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 147-147 | 多轨铁路的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 231-231 | 窄轨铁路的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 729-729 | 天然气管道长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 537-537 | 铺设高速公路的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 752-752 | 石油产品管道的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 258-258 | 标准轨距铁路的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 286-286 | 未分类轨距的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 596-596 | 未铺砌的公路的长度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17967-17967 | 线测量 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7532-7532 | linearExtent 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5021-5021 | lowTide 的 3 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 110-110 | 最大有效负载高度宽度 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 111-111 | 最大有效负载高度宽度 的 3 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4852-4852 | 平均海平面 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2647-2647 | 可通航草案 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 732-732 | physicalAmplitude 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1937-1937 | pistonStroke 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7646-7646 | 半径 的 2 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 757-757 | sharedBorderLength 的 3 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1526-1526 | 有效波高 的 3 数量 是 长度测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13444-13444 | sphereRadius 的 2 数量 是 长度测量 的 instance |
| 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