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デバイスsubclass では %n
(subclass Lock SecurityDevice) Mid-level-ontology.kif 2663-2663 LockSecurityDevicesubclass では %n
(subclass Key SecurityDevice) Mid-level-ontology.kif 2667-2667 KeySecurityDevicesubclass では %n
(subclass SafeContainer SecurityDevice) Mid-level-ontology.kif 2722-2722 SafeContainerSecurityDevicesubclass では %n
(subclass SecurityAlarm SecurityDevice) Mid-level-ontology.kif 2867-2867 SecurityAlarmSecurityDevicesubclass では %n
(subclass FuelCapLock SecurityDevice) Cars.kif 1014-1014 FuelCapLockSecurityDevicesubclass では %n
(subclass CarAlarm SecurityDevice) Cars.kif 3707-3707 CarAlarmSecurityDevicesubclass では %n
(subclass RemoteKeylessSystem SecurityDevice) Cars.kif 3772-3772 RemoteKeylessSystemSecurityDevicesubclass では %n
(subclass SteeringColumnLock SecurityDevice) Cars.kif 3992-3992 SteeringColumnLockSecurityDevicesubclass では %n


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