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 2652-2652
SecurityDevice
è una
sottoclasse
di
Dispositivo
(
subclass
Lock
SecurityDevice
)
Mid-level-ontology.kif 2656-2656
Lock
è una
sottoclasse
di
SecurityDevice
(
subclass
Key
SecurityDevice
)
Mid-level-ontology.kif 2660-2660
Key
è una
sottoclasse
di
SecurityDevice
(
subclass
SafeContainer
SecurityDevice
)
Mid-level-ontology.kif 2715-2715
SafeContainer
è una
sottoclasse
di
SecurityDevice
(
subclass
SecurityAlarm
SecurityDevice
)
Mid-level-ontology.kif 2860-2860
SecurityAlarm
è una
sottoclasse
di
SecurityDevice
(
subclass
FuelCapLock
SecurityDevice
)
Cars.kif 1014-1014
FuelCapLock
è una
sottoclasse
di
SecurityDevice
(
subclass
CarAlarm
SecurityDevice
)
Cars.kif 3692-3692
CarAlarm
è una
sottoclasse
di
SecurityDevice
(
subclass
RemoteKeylessSystem
SecurityDevice
)
Cars.kif 3757-3757
RemoteKeylessSystem
è una
sottoclasse
di
SecurityDevice
(
subclass
SteeringColumnLock
SecurityDevice
)
Cars.kif 3977-3977
SteeringColumnLock
è una
sottoclasse
di
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