Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserSignifiedAction
UserSignifiedAction(user signified action)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1201-1207
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1199-1199 User signified action is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1198-1198 User signified action is a subclass of user action

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1209-1209 User direct action is disjoint from user signified action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2262-2262 Activating UI element is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3023-3023 Force quit is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1869-1869 Input character string is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2159-2159 Selecting active area is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1833-1833 Submit action is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1705-1705 User signified graphical action is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1550-1550 View item request is a subclass of user signified action
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65679-65679

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1718-1718 The number 2 argument of uda can signify is a subclass of user signified action

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1217-1222

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1211-1216


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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