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 引数は
ComputerProcess
の
instance
では %n
(
domain
accountUsed
2
UserAccount
)
ComputingBrands.kif 4162-4162
accountUsed
の数値 2 引数は
UserAccount
の
instance
では %n
(
instance
accountUsed
CaseRole
)
ComputingBrands.kif 4160-4160
accountUsed
は
格役割
の
instance
では %n
(
subrelation
accountUsed
patient
)
ComputingBrands.kif 4163-4163
accountUsed
は
patient
の
subrelation
では %n
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
TwoFactorAuthentication
は
UserAccount
の
attribute
では %n
loggedInDuring
AutonomousAgent
,
UserAccount
and
時間間隔
時間間隔
F
時間間隔
F は
TwoFactorLoggingIn
の
instance
では %n
AutonomousAgent
は
時間間隔
F の
agent
では %n
accountUsed
時間間隔
F and
UserAccount
時間間隔
F の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
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