| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2659-2659 | Security device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2663-2663 | Lock is a subclass of security device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2667-2667 | Key is a subclass of security device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2722-2722 | Safe container is a subclass of security device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2867-2867 | Security alarm is a subclass of security device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1014-1014 | Fuel cap lock is a subclass of security device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3707-3707 | Car alarm is a subclass of security device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3772-3772 | Remote keyless system is a subclass of security device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3992-3992 | Steering column lock is a subclass of security device |
|
|