SecurityDevice - Sigma Knowledge base Browser

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	子類安全裝置 and Device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3707-3707	子類 CarAlarm and 安全裝置
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1014-1014	子類 FuelCapLock and 安全裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2667-2667	子類鍵 and 安全裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2663-2663	子類鎖 and 安全裝置
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3772-3772	子類 RemoteKeylessSystem and 安全裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2722-2722	子類安全的容器 and 安全裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2867-2867	子類安全警報 and 安全裝置
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3992-3992	子類 SteeringColumnLock and 安全裝置
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