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

Formal Language: 



Term 1: Term 2:

(subclass UserSignifiedAction UserAction) ComputerInput.kif 1198-1198 UserSignifiedAction は UserAction の subclass では %n
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199 UserSignifiedAction は ComputerProcess の subclass では %n
(subclass ViewItemRequest UserSignifiedAction) UXExperimentalTerms.kif 1550-1550 ViewItemRequest は UserSignifiedAction の subclass では %n
(subclass ForceQuit UserSignifiedAction) ComputingBrands.kif 3023-3023 〔アプリケーションの〕強制終了 は UserSignifiedAction の subclass では %n
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1705-1705 UserSignifiedGraphicalAction は UserSignifiedAction の subclass では %n
(subclass SubmitAction UserSignifiedAction) ComputerInput.kif 1833-1833 SubmitAction は UserSignifiedAction の subclass では %n
(subclass InputCharacterString UserSignifiedAction) ComputerInput.kif 1869-1869 InputCharacterString は UserSignifiedAction の subclass では %n
(subclass SelectingActiveArea UserSignifiedAction) ComputerInput.kif 2159-2159 SelectingActiveArea は UserSignifiedAction の subclass では %n
(subclass ActivatingUIElement UserSignifiedAction) ComputerInput.kif 2262-2262 ActivatingUIElement は UserSignifiedAction の subclass では %n


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