Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 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