SecurityDevice
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2660-2661 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1247-1247 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2659-2659 | Security device is a subclass of device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3715-3715 | Car 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. | 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 2663-2663 | Lock is a subclass of security device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3780-3780 | Remote keyless system 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 4000-4000 | Steering column lock is a subclass of security device |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51927-51927 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51926-51926 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51925-51925 |