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
Il numero 1 argomenti di
accountUsed
è un
istanza
di
ComputerProcess
(
domain
accountUsed
2
UserAccount
)
ComputingBrands.kif 4162-4162
Il numero 2 argomenti di
accountUsed
è un
istanza
di
UserAccount
(
instance
accountUsed
CaseRole
)
ComputingBrands.kif 4160-4160
accountUsed
è un'
istanza
di
RuoloSemantico
(
subrelation
accountUsed
patient
)
ComputingBrands.kif 4163-4163
accountUsed
è una
sottorelazione
di
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
attribute
UserAccount
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
UserAccount
and
IntervalloTemporale
IntervalloTemporale
F
IntervalloTemporale
F è un'
istanza
di
TwoFactorLoggingIn
IntervalloTemporale
F è un
agente
di
AutonomousAgent
accountUsed
IntervalloTemporale
F and
UserAccount
il
tempo
di esistenza di
IntervalloTemporale
F accades
prima
di
IntervalloTemporale
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