No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6657-6657 |
域 速度, 1 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6668-6668 |
域 速度, 1 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7704-7704 |
域 高度, 3 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17942-17942 |
域 approximateDiameter, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1307-1307 |
域 期間平均降雨量, 3 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 212-212 |
域 口徑, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31134-31134 |
域 circumfrence, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1536-1536 |
域 cylinderBore, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13361-13361 |
域 defaultMaximumHeight, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13427-13427 |
域 defaultMaximumLength, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13481-13481 |
域 defaultMaximumSphereRadius, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13394-13394 |
域 defaultMaximumWidth, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13345-13345 |
域 defaultMinimumHeight, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13411-13411 |
域 defaultMinimumLength, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13462-13462 |
域 defaultMinimumSphereRadius, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13378-13378 |
域 defaultMinimumWidth, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7664-7664 |
域 直徑, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7682-7682 |
域 距離, 3 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1388-1388 |
域 有效範圍, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1892-1892 |
域 海拔, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17976-17976 |
域 幾何距離, 3 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7551-7551 |
域 高度, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5012-5012 |
域 highTide, 3 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2677-2677 |
域 載貨草案, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 175-175 |
域 寬軌鐵路的長度, 2 and LengthMeasure |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |