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
ComputerInputButton
ComputerInputDevice
)
ComputerInput.kif 170-170
ComputerInputButton
ist eine
teilkategorie
von
ComputerInputDevice
(
subclass
MouseButton
ComputerInputButton
)
ComputerInput.kif 176-176
MouseButton
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
PhysicalRightCIButton
ComputerInputButton
)
ComputerInput.kif 179-179
PhysicalRightCIButton
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
PhysicalLeftCIButton
ComputerInputButton
)
ComputerInput.kif 185-185
PhysicalLeftCIButton
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
RightCIButton
ComputerInputButton
)
ComputerInput.kif 191-191
RightCIButton
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
LeftCIButton
ComputerInputButton
)
ComputerInput.kif 197-197
LeftCIButton
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
MiddleCIButton
ComputerInputButton
)
ComputerInput.kif 215-215
MiddleCIButton
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
ComputerKeyboardKey
ComputerInputButton
)
ComputerInput.kif 239-239
ComputerKeyboardKey
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
TouchpadKey
ComputerInputButton
)
ComputerInput.kif 364-364
TouchpadKey
ist eine
teilkategorie
von
ComputerInputButton
(
subclass
GUIButton
ComputerInputButton
)
ComputerInput.kif 929-929
GUIButton
ist eine
teilkategorie
von
ComputerInputButton
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