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 3959-3959
(subclass LoginFailure UserDirectAction) ComputingBrands.kif 4008-4008
(subclass SupplyingFingerprint UserDirectAction) ComputingBrands.kif 4022-4022
(subclass SupplyingEyeScan UserDirectAction) ComputingBrands.kif 4023-4023
(subclass ChangingPassword UserDirectAction) ComputingBrands.kif 4074-4074
(subclass ChangingUserName UserDirectAction) ComputingBrands.kif 4096-4096
(subclass ChangingAccountInfo UserDirectAction) ComputingBrands.kif 4118-4118
(subclass CreatingAnAccount UserDirectAction) ComputingBrands.kif 4137-4137
(subclass DataEntry UserDirectAction) ComputingBrands.kif 4316-4316
(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