No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2129-2129 |
AMEV 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1573-1573 |
APC 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4769-4769 |
AllTerrainVehicle 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2019-2019 |
两栖车辆 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1923-1923 |
周期 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4591-4591 |
FourWheelDriveVehicle 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2033-2033 |
铁路车辆 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3508-3508 |
公路车辆 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1944-1944 |
摩托车 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4614-4614 |
TwoWheelDriveVehicle 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1846-1846 |
车皮 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33301-33301 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33300-33300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33299-33299 |
|