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

Formal Language: 



Term 1: Term 2:

(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 471-471 subclass ComputerTouchscreenKeyboard and ComputerTouchscreen
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 472-472 subclass ComputerTouchscreenKeyboard and Icon
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 473-473 subclass ComputerTouchscreenKeyboard and Image
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 474-474 subclass ComputerTouchscreenKeyboard and ComputerKeyboard_Generic
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 911-911 subclass ComputerTouchscreenKeyboard and GUIActiveArea
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 490-490 subclass ComputerTouchscreenKeypad and ComputerTouchscreenKeyboard


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