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
hasAccount
Sigma KEE - hasAccount
hasAccount
appearance as argument number 1
(
documentation
hasAccount
EnglishLanguage
"(
hasAccount
?User ?Account) holds if ?User is assigned the
UserAccount
?Account.")
QoSontology.kif 2072-2073
(
domain
hasAccount
1
AutonomousAgent
)
QoSontology.kif 2070-2070
Il numero 1 argomenti di
hasAccount
è un
istanza
di
AutonomousAgent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2071-2071
Il numero 2 argomenti di
hasAccount
è un
istanza
di
UserAccount
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2069-2069
hasAccount
è un'
istanza
di
RelazioneAsimmetrica
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
hasAccount
è una
sottorelazione
di
possesses
appearance as argument number 2
(
format
ChineseLanguage
hasAccount
"%1 有 account %2 ")
domainEnglishFormat.kif 3602-3602
(
format
ChineseTraditionalLanguage
hasAccount
"%1 有 account %2 ")
domainEnglishFormat.kif 3601-3601
(
format
EnglishLanguage
hasAccount
"%1 has account %2")
domainEnglishFormat.kif 3600-3600
(
termFormat
ChineseLanguage
hasAccount
"有帐户")
domainEnglishFormat.kif 27498-27498
(
termFormat
ChineseTraditionalLanguage
hasAccount
"有帳戶")
domainEnglishFormat.kif 27497-27497
(
termFormat
EnglishLanguage
hasAccount
"has account")
domainEnglishFormat.kif 27496-27496
antecedent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
accountAtSite
UserAccount
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
registeredUser
AutonomousAgent
and
WebSite
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
AgenteCognitivo
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
AgenteCognitivo
non
conosce
password
ComputerPassword
and
UserAccount
AgenteCognitivo
conosce
s
recoveryKey
Entit�
and
UserAccount
AgenteCognitivo
possiede
es
Computer
l'affermazione
Entit�
Entit�
è un'
istanza
di
ChangingPassword
UserAccount
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?ACCOUNT
UserAccount
)
(
attribute
?ACCOUNT
BusinessAccount
)
(
hasAccount
?USER ?ACCOUNT))
(
instance
?USER
Business
))
UXExperimentalTerms.kif 660-665
UserAccount
è un'
istanza
di
UserAccount
attribute
UserAccount
and
BusinessAccount
hasAccount
AutonomousAgent
and
UserAccount
AutonomousAgent
è un'
istanza
di
Business
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4123-4135
Processo
è un'
istanza
di
ChangingAccountInfo
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
accountInformation
UserAccount
and
Proposizione
Entit�
Entit�
is
uguale
a
Proposizione
accountInformation
UserAccount
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
Processo
è un'
istanza
di
ChangingPassword
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
Entit�
Entit�
è un'
istanza
di
ComputerPassword
Entit�
is
uguale
a
ComputerPassword
password
Entit�
and
UserAccount
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4101-4114
Processo
è un'
istanza
di
ChangingUserName
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
userName
UserAccount
and
UserName
Entit�
Entit�
è un'
istanza
di
UserName
Entit�
is
uguale
a
UserName
userName
UserAccount
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Processo
è un'
istanza
di
DeletingAnAccount
Entit�
è un'
istanza
di
Account
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?LF
LoginFailure
)
(
agent
?LF ?A)
(
hasAccount
?A ?AC))
(
holdsDuring
(
WhenFn
?LF)
(
not
(
exists
(?L)
(
and
(
agent
?L ?A)
(
instance
?L
LoggingIn
)
(
patient
?L ?AC))))))
ComputingBrands.kif 4009-4020
Processo
è un'
istanza
di
LoginFailure
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
AutonomousAgent
C
Entit�
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
LoggingIn
AutonomousAgent
C è un
paziente
di
Entit�
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
Processo
è un'
istanza
di
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
IntervalloTemporale
is
uguale
a immediatamente
dopo
il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un
agente
di
AutonomousAgent
WebSite
è un
paziente
di
Entit�
vales
durante
IntervalloTemporale
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
Processo
è un'
istanza
di
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
IntervalloTemporale
is
uguale
a immediatamente
dopo
il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un
agente
di
AutonomousAgent
Computer
è uno
strumento
per
Entit�
vales
durante
IntervalloTemporale
ha il modello di forza di
Possibility
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
Identifier
esprime
AutonomousAgent
(=>
(
hasAccount
?User ?Account)
(
exists
(?Name)
(
userName
?Account ?Name)))
QoSontology.kif 2051-2054
hasAccount
AutonomousAgent
and
UserAccount
UserName
userName
UserAccount
and
UserName
(=>
(
hasAccount
?User ?Account)
(
exists
(?Password)
(
password
?Password ?Account)))
QoSontology.kif 2088-2091
hasAccount
AutonomousAgent
and
UserAccount
ComputerPassword
password
ComputerPassword
and
UserAccount
(=>
(
holdsDuring
?T
(
hasAccount
?A ?UA))
(
holdsDuring
?T
(
attribute
?A
ComputerUser
)))
QoSontology.kif 2075-2079
hasAccount
Entit�
and
Entit�
vales
durante
PosizioneTemporale
attribute
Entit�
and
ComputerUser
vales
durante
PosizioneTemporale
consequent
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
Processo
è un'
istanza
di
CreatingAnAccount
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
and
Entit�
hasAccount
AutonomousAgent
and
Entit�
password
Entit�
and
Entit�
userName
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Processo
è un'
istanza
di
DeletingAnAccount
Entit�
è un'
istanza
di
Account
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?LI
LoggingIn
)
(
agent
?LI ?U))
(
exists
(?A)
(
hasAccount
?U ?A)))
ComputingBrands.kif 3965-3970
Processo
è un'
istanza
di
LoggingIn
Processo
è un
agente
di
AutonomousAgent
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToBusiness
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
BusinessAccount
))))
UXExperimentalTerms.kif 1727-1746
Oggetto
è un'
istanza
di
ScambioFinanziario
attribute
Oggetto
and
BusinessToBusiness
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
è un'
istanza
di
UserAccount
UserAccount
è un'
istanza
di
UserAccount
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
Oggetto
è un
agente
di
AutonomousAgent
Oggetto
fine
s in
AutonomousAgent
WebSite
è uno
strumento
per
Oggetto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
BusinessAccount
attribute
UserAccount
and
BusinessAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1759-1778
Oggetto
è un'
istanza
di
ScambioFinanziario
attribute
Oggetto
and
BusinessToConsumer
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
è un'
istanza
di
UserAccount
UserAccount
è un'
istanza
di
UserAccount
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
Oggetto
è un
agente
di
AutonomousAgent
Oggetto
fine
s in
AutonomousAgent
WebSite
è uno
strumento
per
Oggetto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
BusinessAccount
attribute
UserAccount
and
ConsumerAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
ConsumerToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
ConsumerAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1791-1810
Oggetto
è un'
istanza
di
ScambioFinanziario
attribute
Oggetto
and
ConsumerToConsumer
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
è un'
istanza
di
UserAccount
UserAccount
è un'
istanza
di
UserAccount
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
Oggetto
è un
agente
di
AutonomousAgent
Oggetto
fine
s in
AutonomousAgent
WebSite
è uno
strumento
per
Oggetto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
ConsumerAccount
attribute
UserAccount
and
ConsumerAccount
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2040-2043
UserAccount
è un'
istanza
di
UserAccount
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
(=>
(
loggedInDuring
?A ?UA ?T)
(
exists
(?L)
(
and
(
instance
?L
LoggingIn
)
(
agent
?L ?A)
(
patient
?L ?UA)
(
hasAccount
?A ?UA)
(
earlier
?T
(
WhenFn
?L)))))
ComputingBrands.kif 4337-4345
loggedInDuring
AutonomousAgent
,
UserAccount
and
IntervalloTemporale
Processo
Processo
è un'
istanza
di
LoggingIn
Processo
è un
agente
di
AutonomousAgent
UserAccount
è un
paziente
di
Processo
hasAccount
AutonomousAgent
and
UserAccount
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
registeredUser
AutonomousAgent
and
WebSite
UserAccount
UserAccount
è un'
istanza
di
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
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