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 SecurityDevice est une sous-classe de appareil
(subclass Lock SecurityDevice) Mid-level-ontology.kif 2663-2663 Lock est une sous-classe de SecurityDevice
(subclass Key SecurityDevice) Mid-level-ontology.kif 2667-2667 Key est une sous-classe de SecurityDevice
(subclass SafeContainer SecurityDevice) Mid-level-ontology.kif 2722-2722 SafeContainer est une sous-classe de SecurityDevice
(subclass SecurityAlarm SecurityDevice) Mid-level-ontology.kif 2867-2867 SecurityAlarm est une sous-classe de SecurityDevice
(subclass FuelCapLock SecurityDevice) Cars.kif 1014-1014 FuelCapLock est une sous-classe de SecurityDevice
(subclass CarAlarm SecurityDevice) Cars.kif 3707-3707 CarAlarm est une sous-classe de SecurityDevice
(subclass RemoteKeylessSystem SecurityDevice) Cars.kif 3772-3772 RemoteKeylessSystem est une sous-classe de SecurityDevice
(subclass SteeringColumnLock SecurityDevice) Cars.kif 3992-3992 SteeringColumnLock est une sous-classe de SecurityDevice


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