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
O argumento numero 1 de
accountUsed
e' uma
instancia
de
ComputerProcess
(
domain
accountUsed
2
UserAccount
)
ComputingBrands.kif 4162-4162
O argumento numero 2 de
accountUsed
e' uma
instancia
de
UserAccount
(
instance
accountUsed
CaseRole
)
ComputingBrands.kif 4160-4160
accountUsed
e' uma
instancia
de
Role em Caso
(
subrelation
accountUsed
patient
)
ComputingBrands.kif 4163-4163
accountUsed
e' uma
sub
-relacao 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
e' um
atributo
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
Intervalo Temporal
Intervalo Temporal
F
Intervalo Temporal
F e' uma
instancia
de
TwoFactorLoggingIn
Intervalo Temporal
F e' um
agente
de
AutonomousAgent
accountUsed
Intervalo Temporal
F and
UserAccount
tempo
de existencia de
Intervalo Temporal
F acontence
antes
de
Intervalo Temporal
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