Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass GUIActiveArea GUIElement) ComputerInput.kif 906-906 subclass GUIActiveArea and GUIElement
(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 910-910 subclass ComputerTouchscreenKeypad and GUIActiveArea
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 911-911 subclass ComputerTouchscreenKeyboard and GUIActiveArea
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 914-914 subclass GraphicalComputerMenu and GUIActiveArea
(subclass GUIButton GUIActiveArea) ComputerInput.kif 956-956 subclass GUIButton and GUIActiveArea
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 974-974 subclass ScrollBar and GUIActiveArea
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 999-999 subclass ScrollBarBar and GUIActiveArea
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1052-1052 subclass GUISlider and GUIActiveArea
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1064-1064 subclass GUISliderIndicator and GUIActiveArea
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 1124-1124 subclass HoverBoxActiveArea and GUIActiveArea
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 1135-1135 subclass TextInputBox and GUIActiveArea
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 1144-1144 subclass GUICheckBox and GUIActiveArea
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1156-1156 subclass ComputerMenuItem and GUIActiveArea
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1171-1171 subclass GraphicalMenuItem and GUIActiveArea
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 1189-1189 subclass GUI_Link and GUIActiveArea


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners