Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
SecurityDevice
Device
)
Mid-level-ontology.kif 2659-2659
SecurityDevice
ist eine
teilkategorie
von
Device
(
subclass
Lock
SecurityDevice
)
Mid-level-ontology.kif 2663-2663
Lock
ist eine
teilkategorie
von
SecurityDevice
(
subclass
Key
SecurityDevice
)
Mid-level-ontology.kif 2667-2667
Key
ist eine
teilkategorie
von
SecurityDevice
(
subclass
SafeContainer
SecurityDevice
)
Mid-level-ontology.kif 2722-2722
SafeContainer
ist eine
teilkategorie
von
SecurityDevice
(
subclass
SecurityAlarm
SecurityDevice
)
Mid-level-ontology.kif 2867-2867
SecurityAlarm
ist eine
teilkategorie
von
SecurityDevice
(
subclass
FuelCapLock
SecurityDevice
)
Cars.kif 1014-1014
FuelCapLock
ist eine
teilkategorie
von
SecurityDevice
(
subclass
CarAlarm
SecurityDevice
)
Cars.kif 3715-3715
CarAlarm
ist eine
teilkategorie
von
SecurityDevice
(
subclass
RemoteKeylessSystem
SecurityDevice
)
Cars.kif 3780-3780
RemoteKeylessSystem
ist eine
teilkategorie
von
SecurityDevice
(
subclass
SteeringColumnLock
SecurityDevice
)
Cars.kif 4000-4000
SteeringColumnLock
ist eine
teilkategorie
von
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