ItalianLanguage 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 3707-3707 | 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 3772-3772 | 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 3992-3992 | 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 |