Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
accountUsed
Sigma KEE - accountUsed
accountUsed
appearance as argument number 1
(
documentation
accountUsed
EnglishLanguage
"The
UserAccount
used in a particular
Process
.")
ComputingBrands.kif 4164-4164
(
domain
accountUsed
1
ComputerProcess
)
ComputingBrands.kif 4161-4161
域
accountUsed
, 1 and
電腦程序
(
domain
accountUsed
2
UserAccount
)
ComputingBrands.kif 4162-4162
域
accountUsed
, 2 and
用戶帳號
(
instance
accountUsed
CaseRole
)
ComputingBrands.kif 4160-4160
例
accountUsed
and
CaseRole
(
subrelation
accountUsed
patient
)
ComputingBrands.kif 4163-4163
子關係
accountUsed
and
患者
appearance as argument number 2
(
format
EnglishLanguage
accountUsed
"the
accountUsed
in %1 is %2")
ComputingBrands.kif 4166-4166
(
termFormat
EnglishLanguage
accountUsed
"account used")
ComputingBrands.kif 4165-4165
consequent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
attribute
用戶帳號
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
用戶帳號
and
TimeInterval
TimeInterval
F
例
TimeInterval
F and
TwoFactorLoggingIn
agent
TimeInterval
F and
AutonomousAgent
accountUsed
TimeInterval
F and
用戶帳號
早期
何時
TimeInterval
F and
TimeInterval
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