Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass SecurityDevice Device) Mid-level-ontology.kif 2659-2659 Security device is a subclass of device
(subclass Lock SecurityDevice) Mid-level-ontology.kif 2663-2663 Lock is a subclass of security device
(subclass Key SecurityDevice) Mid-level-ontology.kif 2667-2667 Key is a subclass of security device
(subclass SafeContainer SecurityDevice) Mid-level-ontology.kif 2722-2722 Safe container is a subclass of security device
(subclass SecurityAlarm SecurityDevice) Mid-level-ontology.kif 2867-2867 Security alarm is a subclass of security device
(subclass FuelCapLock SecurityDevice) Cars.kif 1014-1014 Fuel cap lock is a subclass of security device
(subclass CarAlarm SecurityDevice) Cars.kif 3707-3707 Car alarm is a subclass of security device
(subclass RemoteKeylessSystem SecurityDevice) Cars.kif 3772-3772 Remote keyless system is a subclass of security device
(subclass SteeringColumnLock SecurityDevice) Cars.kif 3992-3992 Steering column lock is a subclass of security device


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