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

Formal Language: 


KB Term:  Term intersection
English Word: 

  UserDirectAction

Sigma KEE - UserDirectAction
UserDirectAction

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1209-1209 UserDirectAction 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1183-1188 UserDirectAction 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1181-1181 UserDirectAction图标subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1180-1180 UserDirectActionUserActionsubclass

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1652-1652 AudioInputUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4113-4113 ChangingAccountInfoUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4069-4069 ChangingPasswordUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4091-4091 ChangingUserNameUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1430-1430 ClickingUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4132-4132 CreatingAnAccountUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4311-4311 DataEntryUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1633-1633 JoystickMotionUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1224-1224 KeyboardActionUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3954-3954 LoggingInUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4003-4003 LoginFailureUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1664-1664 ScrollWheelRotatingUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1516-1516 SlidingComputerInputDeviceActionUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4018-4018 SupplyingEyeScanUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4017-4017 SupplyingFingerprintUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1533-1533 TouchSurfaceActionUserDirectActionsubclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65669-65669 TouchSurfaceActionUserDirectActionsubclass

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1717-1717 udaCanSignify 的 1 数量 是 UserDirectActionsubclass

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