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 7726-7726 |
域 高度, 3 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17941-17941 |
域 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 31127-31127 |
域 circumfrence, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1539-1539 |
域 cylinderBore, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13360-13360 |
域 defaultMaximumHeight, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13426-13426 |
域 defaultMaximumLength, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13480-13480 |
域 defaultMaximumSphereRadius, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13393-13393 |
域 defaultMaximumWidth, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13344-13344 |
域 defaultMinimumHeight, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13410-13410 |
域 defaultMinimumLength, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13461-13461 |
域 defaultMinimumSphereRadius, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13377-13377 |
域 defaultMinimumWidth, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7682-7682 |
域 直徑, 2 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 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 17998-17998 |
域 幾何距離, 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 |