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 安全装置设备subclass
(subclass Lock SecurityDevice) Mid-level-ontology.kif 2663-2663 安全装置subclass
(subclass Key SecurityDevice) Mid-level-ontology.kif 2667-2667 安全装置subclass
(subclass SafeContainer SecurityDevice) Mid-level-ontology.kif 2722-2722 安全的容器安全装置subclass
(subclass SecurityAlarm SecurityDevice) Mid-level-ontology.kif 2867-2867 安全警报安全装置subclass
(subclass FuelCapLock SecurityDevice) Cars.kif 1014-1014 FuelCapLock安全装置subclass
(subclass CarAlarm SecurityDevice) Cars.kif 3715-3715 CarAlarm安全装置subclass
(subclass RemoteKeylessSystem SecurityDevice) Cars.kif 3780-3780 RemoteKeylessSystem安全装置subclass
(subclass SteeringColumnLock SecurityDevice) Cars.kif 4000-4000 SteeringColumnLock安全装置subclass


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