| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2659-2659 | SecurityDevice est une sous-classe de appareil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2663-2663 | Lock est une sous-classe de SecurityDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2667-2667 | Key est une sous-classe de SecurityDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2722-2722 | SafeContainer est une sous-classe de SecurityDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2867-2867 | SecurityAlarm est une sous-classe de SecurityDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1014-1014 | FuelCapLock est une sous-classe de SecurityDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3715-3715 | CarAlarm est une sous-classe de SecurityDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3780-3780 | RemoteKeylessSystem est une sous-classe de SecurityDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4000-4000 | SteeringColumnLock est une sous-classe de SecurityDevice |
|
|