No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30826-30826 |
子類 ClimbingCarabiner and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3452-3452 |
子類 聽力保護 and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4367-4367 |
子類 Helmet and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4750-4750 |
子類 MotorcycleGlove and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3486-3486 |
子類 防護眼鏡 and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3534-3534 |
子類 呼吸器 and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3427-3427 |
子類 安全套 and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3563-3563 |
子類 SafetyVest and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3383-3383 |
子類 VehicleSafetyDevice and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3359-3359 |
|