Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
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