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
O argumento numero 1 de
hasAccount
e' uma
instancia
de
AutonomousAgent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2071-2071
O argumento numero 2 de
hasAccount
e' uma
instancia
de
UserAccount
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2069-2069
hasAccount
e' uma
instancia
de
Relacao Assimetrica
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
hasAccount
e' uma
sub
-relacao de
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
Agente Cognitivo
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
Agente Cognitivo
nao
sabe
%n
password
ComputerPassword
and
UserAccount
Agente Cognitivo
sabe
recoveryKey
Entidade
and
UserAccount
Agente Cognitivo
possui
Computer
o argumento
Entidade
Entidade
e' uma
instancia
de
ChangingPassword
UserAccount
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?ACCOUNT
UserAccount
)
(
attribute
?ACCOUNT
BusinessAccount
)
(
hasAccount
?USER ?ACCOUNT))
(
instance
?USER
Business
))
UXExperimentalTerms.kif 660-665
UserAccount
e' uma
instancia
de
UserAccount
BusinessAccount
e' um
atributo
de
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
AutonomousAgent
e' uma
instancia
de
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
e' uma
instancia
de
ChangingAccountInfo
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
accountInformation
UserAccount
and
Proposicao
Entidade
Entidade
e'
igual
a
Proposicao
accountInformation
UserAccount
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
ChangingPassword
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
Entidade
Entidade
e' uma
instancia
de
ComputerPassword
Entidade
e'
igual
a
ComputerPassword
password
Entidade
and
UserAccount
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
ChangingUserName
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
userName
UserAccount
and
UserName
Entidade
Entidade
e' uma
instancia
de
UserName
Entidade
e'
igual
a
UserName
userName
UserAccount
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
DeletingAnAccount
Entidade
e' uma
instancia
de
Account
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
LoginFailure
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
AutonomousAgent
C
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
LoggingIn
AutonomousAgent
C e' um
patient
de
Entidade
vale
durante
tempo
de existencia de
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
e' uma
instancia
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
Intervalo Temporal
e'
igual
a imediatemente
apos
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' um
agente
de
AutonomousAgent
WebSite
e' um
patient
de
Entidade
vale
durante
Intervalo Temporal
tem a
forca
modal
de
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
e' uma
instancia
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
Intervalo Temporal
e'
igual
a imediatemente
apos
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' um
agente
de
AutonomousAgent
Computer
e' um
instrumento
para
Entidade
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
Identifier
define
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
Entidade
and
Entidade
vale
durante
Posicao Temporal
ComputerUser
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
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
e' uma
instancia
de
CreatingAnAccount
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
and
Entidade
hasAccount
AutonomousAgent
and
Entidade
password
Entidade
and
Entidade
userName
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
DeletingAnAccount
Entidade
e' uma
instancia
de
Account
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?LI
LoggingIn
)
(
agent
?LI ?U))
(
exists
(?A)
(
hasAccount
?U ?A)))
ComputingBrands.kif 3965-3970
Processo
e' uma
instancia
de
LoggingIn
Processo
e' um
agente
de
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
Objeto
e' uma
instancia
de
Transacao Financeira
BusinessToBusiness
e' um
atributo
de
Objeto
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
e' uma
instancia
de
UserAccount
UserAccount
e' uma
instancia
de
UserAccount
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Objeto
e' um
agente
de
AutonomousAgent
Objeto
termina
em
AutonomousAgent
WebSite
e' um
instrumento
para
Objeto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
e' um
atributo
de
UserAccount
BusinessAccount
e' um
atributo
de
UserAccount
(=>
(
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
Objeto
e' uma
instancia
de
Transacao Financeira
BusinessToConsumer
e' um
atributo
de
Objeto
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
e' uma
instancia
de
UserAccount
UserAccount
e' uma
instancia
de
UserAccount
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Objeto
e' um
agente
de
AutonomousAgent
Objeto
termina
em
AutonomousAgent
WebSite
e' um
instrumento
para
Objeto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
e' um
atributo
de
UserAccount
ConsumerAccount
e' um
atributo
de
UserAccount
(=>
(
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
Objeto
e' uma
instancia
de
Transacao Financeira
ConsumerToConsumer
e' um
atributo
de
Objeto
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
e' uma
instancia
de
UserAccount
UserAccount
e' uma
instancia
de
UserAccount
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Objeto
e' um
agente
de
AutonomousAgent
Objeto
termina
em
AutonomousAgent
WebSite
e' um
instrumento
para
Objeto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
e' um
atributo
de
UserAccount
ConsumerAccount
e' um
atributo
de
UserAccount
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2040-2043
UserAccount
e' uma
instancia
de
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
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
LoggingIn
Processo
e' um
agente
de
AutonomousAgent
UserAccount
e' um
patient
de
Processo
hasAccount
AutonomousAgent
and
UserAccount
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
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
e' uma
instancia
de
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