Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass UserDirectAction UserAction) ComputerInput.kif 1180-1180
(subclass UserDirectAction Icon) ComputerInput.kif 1181-1181
(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3957-3957
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 4006-4006
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 4020-4020
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 4021-4021
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4072-4072
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4094-4094
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4116-4116
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4135-4135
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4314-4314
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1224-1224
(subclass Clicking UserDirectAction) ComputerInput.kif 1430-1430
(subclass SlidingComputerInputDeviceAction UserDirectAction) ComputerInput.kif 1516-1516
(subclass TouchSurfaceAction UserDirectAction) ComputerInput.kif 1533-1533
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1633-1633
(subclass AudioInput UserDirectAction) ComputerInput.kif 1652-1652
(subclass ScrollWheelRotating UserDirectAction) ComputerInput.kif 1664-1664


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