No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6657-6657 |
速率函数 的 1 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6668-6668 |
速度函数 的 1 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7704-7704 |
海拔 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17942-17942 |
近似直径 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1307-1307 |
期间平均降雨量 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 212-212 |
口径 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31134-31134 |
circumfrence 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1536-1536 |
cylinderBore 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13361-13361 |
defaultMaximumHeight 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13427-13427 |
defaultMaximumLength 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13481-13481 |
defaultMaximumSphereRadius 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13394-13394 |
defaultMaximumWidth 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13345-13345 |
defaultMinimumHeight 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13411-13411 |
defaultMinimumLength 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13462-13462 |
defaultMinimumSphereRadius 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13378-13378 |
defaultMinimumWidth 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7664-7664 |
圆周 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7682-7682 |
距离 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1388-1388 |
有效范围 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1892-1892 |
海拔 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17976-17976 |
几何距离 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7551-7551 |
高度 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5012-5012 |
highTide 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2677-2677 |
载货草案 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 175-175 |
宽轨铁路的长度 的 2 数量 是 长度测量 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |