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
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199 UserSignifiedAction 是 电脑程序 的 subclass
(subclass ViewItemRequest UserSignifiedAction) UXExperimentalTerms.kif 1550-1550 ViewItemRequest 是 UserSignifiedAction 的 subclass
(subclass ForceQuit UserSignifiedAction) ComputingBrands.kif 3023-3023 强迫终止 是 UserSignifiedAction 的 subclass
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1705-1705 UserSignifiedGraphicalAction 是 UserSignifiedAction 的 subclass
(subclass SubmitAction UserSignifiedAction) ComputerInput.kif 1833-1833 SubmitAction 是 UserSignifiedAction 的 subclass
(subclass InputCharacterString UserSignifiedAction) ComputerInput.kif 1869-1869 InputCharacterString 是 UserSignifiedAction 的 subclass
(subclass SelectingActiveArea UserSignifiedAction) ComputerInput.kif 2159-2159 SelectingActiveArea 是 UserSignifiedAction 的 subclass
(subclass ActivatingUIElement UserSignifiedAction) ComputerInput.kif 2262-2262 ActivatingUIElement 是 UserSignifiedAction 的 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