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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserSignifiedAction
UserSignifiedAction

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 UserSignifiedAction e' uma sub-classe de ComputerProcess
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1198-1198 UserSignifiedAction e' uma sub-classe de UserAction

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1209-1209 UserDirectAction e' disjunto de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2262-2262 ActivatingUIElement e' uma sub-classe de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3023-3023 ForceQuit e' uma sub-classe de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1869-1869 InputCharacterString e' uma sub-classe de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2159-2159 SelectingActiveArea e' uma sub-classe de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1833-1833 SubmitAction e' uma sub-classe de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1705-1705 UserSignifiedGraphicalAction e' uma sub-classe de UserSignifiedAction
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1550-1550 ViewItemRequest e' uma sub-classe de UserSignifiedAction
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 O argumento numero 2 de udaCanSignify e' uma sub-classe de UserSignifiedAction

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


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