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

Formal Language: 


Term 1: Term 2:

(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) ComputerInput.kif 446-446 ComputerTouchscreenKeyboard は ComputerTouchscreen の subclass では
(subclass ComputerTouchscreenKeyboard Icon) ComputerInput.kif 447-447 ComputerTouchscreenKeyboard は アイコン の subclass では
(subclass ComputerTouchscreenKeyboard Image) ComputerInput.kif 448-448 ComputerTouchscreenKeyboard は Image の subclass では
(subclass ComputerTouchscreenKeyboard ComputerKeyboard_Generic) ComputerInput.kif 449-449 ComputerTouchscreenKeyboard は ComputerKeyboard_Generic の subclass では
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice) ComputerInput.kif 450-450 ComputerTouchscreenKeyboard は TouchSensitiveComputerInputDevice の subclass では
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 883-883 ComputerTouchscreenKeyboard は GUIActiveArea の subclass では
(subclass ComputerTouchscreenKeypad ComputerTouchscreenKeyboard) ComputerInput.kif 464-464 ComputerTouchscreenKeypad は ComputerTouchscreenKeyboard の 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