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
Le nombre 1 argument de
accountUsed
est une
instance
de
ComputerProcess
(
domain
accountUsed
2
UserAccount
)
ComputingBrands.kif 4162-4162
Le nombre 2 argument de
accountUsed
est une
instance
de
UserAccount
(
instance
accountUsed
CaseRole
)
ComputingBrands.kif 4160-4160
accountUsed
est une
instance
de
r�le d�pendant du cas
(
subrelation
accountUsed
patient
)
ComputingBrands.kif 4163-4163
accountUsed
est une
sous
-relation de
patient
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
est un
attribut
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
interval temporel
interval temporel
F
interval temporel
F est une
instance
de
TwoFactorLoggingIn
interval temporel
F est un
agent
de
AutonomousAgent
accountUsed
interval temporel
F and
UserAccount
temps
d'existence de
interval temporel
F arrive
plus
t�t que
interval temporel
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