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
GUIActiveArea
GUIElement
)
ComputerInput.kif 878-878
GUIActiveArea
是
GUIElement
的
subclass
(
subclass
ComputerTouchscreenKeypad
GUIActiveArea
)
ComputerInput.kif 882-882
ComputerTouchscreenKeypad
是
GUIActiveArea
的
subclass
(
subclass
ComputerTouchscreenKeyboard
GUIActiveArea
)
ComputerInput.kif 883-883
ComputerTouchscreenKeyboard
是
GUIActiveArea
的
subclass
(
subclass
GraphicalComputerMenu
GUIActiveArea
)
ComputerInput.kif 886-886
GraphicalComputerMenu
是
GUIActiveArea
的
subclass
(
subclass
GUIButton
GUIActiveArea
)
ComputerInput.kif 928-928
GUIButton
是
GUIActiveArea
的
subclass
(
subclass
ScrollBar
GUIActiveArea
)
ComputerInput.kif 946-946
ScrollBar
是
GUIActiveArea
的
subclass
(
subclass
ScrollBarBar
GUIActiveArea
)
ComputerInput.kif 971-971
ScrollBarBar
是
GUIActiveArea
的
subclass
(
subclass
GUISlider
GUIActiveArea
)
ComputerInput.kif 1024-1024
GUISlider
是
GUIActiveArea
的
subclass
(
subclass
GUISliderIndicator
GUIActiveArea
)
ComputerInput.kif 1036-1036
GUISliderIndicator
是
GUIActiveArea
的
subclass
(
subclass
HoverBoxActiveArea
GUIActiveArea
)
ComputerInput.kif 1096-1096
HoverBoxActiveArea
是
GUIActiveArea
的
subclass
(
subclass
TextInputBox
GUIActiveArea
)
ComputerInput.kif 1107-1107
TextInputBox
是
GUIActiveArea
的
subclass
(
subclass
GUICheckBox
GUIActiveArea
)
ComputerInput.kif 1116-1116
GUICheckBox
是
GUIActiveArea
的
subclass
(
subclass
ComputerMenuItem
GUIActiveArea
)
ComputerInput.kif 1128-1128
ComputerMenuItem
是
GUIActiveArea
的
subclass
(
subclass
GraphicalMenuItem
GUIActiveArea
)
ComputerInput.kif 1144-1144
GraphicalMenuItem
是
GUIActiveArea
的
subclass
(
subclass
GUI_Link
GUIActiveArea
)
ComputerInput.kif 1161-1161
GUI_Link
是
GUIActiveArea
的
subclass
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