Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecurityDevice
SecurityDevice

appearance as argument number 1
-------------------------


(documentation SecurityDevice EnglishLanguage "A Device whose purpose is to protect people or property from kidnappers and/ or thieves.") Mid-level-ontology.kif 2596-2597
(externalImage SecurityDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ e/ e3/ Mannequin_Alarm.jpg/ 250px-Mannequin_Alarm.jpg") pictureList.kif 1248-1248
(subclass SecurityDevice Device) Mid-level-ontology.kif 2595-2595

appearance as argument number 2
-------------------------


(subclass CarAlarm SecurityDevice) Cars.kif 3724-3724
(subclass FuelCapLock SecurityDevice) Cars.kif 1014-1014
(subclass Key SecurityDevice) Mid-level-ontology.kif 2603-2603
(subclass Lock SecurityDevice) Mid-level-ontology.kif 2599-2599
(subclass RemoteKeylessSystem SecurityDevice) Cars.kif 3788-3788
(subclass SafeContainer SecurityDevice) Mid-level-ontology.kif 2658-2658
(subclass SecurityAlarm SecurityDevice) Mid-level-ontology.kif 2799-2799
(subclass SteeringColumnLock SecurityDevice) Cars.kif 4008-4008
(termFormat ChineseLanguage SecurityDevice "安全装置") domainEnglishFormat.kif 51909-51909
(termFormat ChineseTraditionalLanguage SecurityDevice "安全裝置") domainEnglishFormat.kif 51908-51908
(termFormat EnglishLanguage SecurityDevice "security device") domainEnglishFormat.kif 51907-51907


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners