| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3350-3350 | SafetyDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30838-30838 | ClimbingCarabiner e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3375-3375 | VehicleSafetyDevice e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3419-3419 | SafetyHarness e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3444-3444 | HearingProtection e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3478-3478 | ProtectiveEyewear e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3526-3526 | Respirator e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3555-3555 | SafetyVest e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4359-4359 | Helmet e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4742-4742 | MotorcycleGlove e' uma sub-classe de SafetyDevice |
|
|