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