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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UserDirectAction

Sigma KEE - UserDirectAction
UserDirectAction(user direct action)

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


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 1183-1188
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1181-1181 User direct action is a subclass of icon
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1180-1180 User direct 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 1652-1652 Audio input is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4118-4118 Change account information is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4074-4074 Change password is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4096-4096 Change user name is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1430-1430 Clicking is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4137-4137 Creating an account is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4316-4316 Data entry is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1633-1633 Joystick motion is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1224-1224 Keyboard action is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3959 Logging in is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4008-4008 Login failure is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1664-1664 Scroll wheel rotating is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1516-1516 Sliding computer input device action is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4023-4023 Supplying eye scan is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4022-4022 Supplying fingerprint is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1533-1533 Touch surface action is a subclass of user direct action
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65675-65675

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1645-1650
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1626-1631
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1594-1599
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1545-1550
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1191-1196
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1211-1216

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


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


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

Show without tree


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