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
The number 1 argument of
has account
is an
instance
of
agent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2071-2071
The number 2 argument of
has account
is an
instance
of
user account
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2069-2069
has account
is an
instance
of
asymmetric relation
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
has account
is a
subrelation
of
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
If
an user account
is an
account
at
a web site
and
an agent
has
account
the user account
,
then
the agent
is a
registered
user
of
the web site
(=>
(
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
If
a cognitive agent
has
account
an user account
and
the user account
has
password
a computer password
and
device account
the user account
and
a computer
and
the cognitive agent
doesn't
know
the user account
has
password
the computer password
and
the cognitive agent
know
s the account
the user account
has
recovery
key
an entity
and
the cognitive agent
possess
es
the computer
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
change password
and
the user account
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?ACCOUNT
UserAccount
)
(
attribute
?ACCOUNT
BusinessAccount
)
(
hasAccount
?USER ?ACCOUNT))
(
instance
?USER
Business
))
UXExperimentalTerms.kif 660-665
If
an user account
is an
instance
of
user account
and
business account
is an
attribute
of
the user account
and
an agent
has
account
the user account
,
then
the agent
is an
instance
of
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
If
a process
is an
instance
of
change account information
and
an agent
is an
agent
of
the process
and
the agent
has
account
an user account
and the account
the user account
has
information
a proposition
,
then there exists
an entity
such that
the entity
is not
equal
to
the proposition
and the account
the user account
has
information
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
change password
and
an agent
is an
agent
of
the process
and
the agent
has
account
an user account
and
the user account
has
password
a computer password
,
then there exists
an entity
such that
the entity
is an
instance
of
computer password
and
the entity
is not
equal
to
the computer password
and
the user account
has
password
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
change user name
and
an agent
is an
agent
of
the process
and
the agent
has
account
an user account
and the
user
name
of
the user account
is
an user name
,
then there exists
an entity
such that
the entity
is an
instance
of
user name
and
the entity
is not
equal
to
the user name
and the
user
name
of
the user account
is
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
deleting an account
and
an entity
is an
instance
of
account
and
an agent
has
account
the entity
holds
during
immediately
before
the
time
of existence of
the process
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
,
then not
the agent
has
account
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
login failure
and
an agent
is an
agent
of
the process
and
the agent
has
account
the agent
C,
then there doesn't exist
an entity
such that
the agent
is an
agent
of
the entity
and
the entity
is an
instance
of
logging in
and
the agent
C is a
patient
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
logging in
and
an agent
has
account
an user account
and
the user account
is an
account
at
a web site
and
a time interval
is
equal
to immediately
after
the
time
of existence of
the process
and
the agent
is an
agent
of
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
computer process
and
the agent
is an
agent
of
the entity
and
the web site
is a
patient
of
the entity
holds
during
the time interval
has the
modal
force
of
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
If
a process
is an
instance
of
logging in
and
an agent
has
account
an user account
and
device account
the user account
and
a computer
and
a time interval
is
equal
to immediately
after
the
time
of existence of
the process
and
the agent
is an
agent
of
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
computer process
and
the agent
is an
agent
of
the entity
and
the computer
is an
instrument
for
the entity
holds
during
the time interval
has the
modal
force
of
possibility
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
If the
ID
for
an user account
is
an identifier
and
an agent
has
account
the user account
,
then
the identifier
express
es
the agent
(=>
(
hasAccount
?User ?Account)
(
exists
(?Name)
(
userName
?Account ?Name)))
QoSontology.kif 2051-2054
If
an agent
has
account
an user account
,
then there exists
an user name
such that the
user
name
of
the user account
is
the user name
(=>
(
hasAccount
?User ?Account)
(
exists
(?Password)
(
password
?Password ?Account)))
QoSontology.kif 2088-2091
If
an agent
has
account
an user account
,
then there exists
a computer password
such that
the user account
has
password
the computer password
(=>
(
holdsDuring
?T
(
hasAccount
?A ?UA))
(
holdsDuring
?T
(
attribute
?A
ComputerUser
)))
QoSontology.kif 2075-2079
If
an entity
has
account
another entity
holds
during
a time position
,
then
computer user
is an
attribute
of
the entity
holds
during
the time position
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
If
a process
is an
instance
of
creating an account
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
and
a third entity
such that
the agent
has
account
the entity
and
the entity
has
password
the other entity
and the
user
name
of
the entity
is
the third entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
deleting an account
and
an entity
is an
instance
of
account
and
an agent
has
account
the entity
holds
during
immediately
before
the
time
of existence of
the process
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
,
then not
the agent
has
account
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?LI
LoggingIn
)
(
agent
?LI ?U))
(
exists
(?A)
(
hasAccount
?U ?A)))
ComputingBrands.kif 3965-3970
If
a process
is an
instance
of
logging in
and
an agent
is an
agent
of
the process
,
then there exists
an user account
such that
the agent
has
account
the user account
(=>
(
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
If
an object
is an
instance
of
financial transaction
and
business to business transaction
is an
attribute
of
the object
,
then there exist
an user account
,
another user account
,, ,
an agent
,, ,
another agent
and
a web site
such that
the user account
is an
instance
of
user account
and
the other user account
is an
instance
of
user account
and
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the web site
is an
instrument
for
the object
and
the agent
has
account
the user account
and
the other agent
has
account
the other user account
and
the user account
is an
account
at
the web site
and
the other user account
is an
account
at
the web site
and
business account
is an
attribute
of
the user account
and
business account
is an
attribute
of
the other user account
(=>
(
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
If
an object
is an
instance
of
financial transaction
and
business to consumer transaction
is an
attribute
of
the object
,
then there exist
an user account
,
another user account
,, ,
an agent
,, ,
another agent
and
a web site
such that
the user account
is an
instance
of
user account
and
the other user account
is an
instance
of
user account
and
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the web site
is an
instrument
for
the object
and
the agent
has
account
the user account
and
the other agent
has
account
the other user account
and
the user account
is an
account
at
the web site
and
the other user account
is an
account
at
the web site
and
business account
is an
attribute
of
the user account
and
consumer account
is an
attribute
of
the other user account
(=>
(
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
If
an object
is an
instance
of
financial transaction
and
consumer to consumer transaction
is an
attribute
of
the object
,
then there exist
an user account
,
another user account
,, ,
an agent
,, ,
another agent
and
a web site
such that
the user account
is an
instance
of
user account
and
the other user account
is an
instance
of
user account
and
the agent
is an
instance
of
agent
and
the other agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the web site
is an
instrument
for
the object
and
the agent
has
account
the user account
and
the other agent
has
account
the other user account
and
the user account
is an
account
at
the web site
and
the other user account
is an
account
at
the web site
and
consumer account
is an
attribute
of
the user account
and
consumer account
is an
attribute
of
the other user account
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2040-2043
If
an user account
is an
instance
of
user account
,
then there exists
an agent
such that
the agent
has
account
the user account
(=>
(
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
If
an agent
is logged-in to
an user account
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
logging in
and
the agent
is an
agent
of
the process
and
the user account
is a
patient
of
the process
and
the agent
has
account
the user account
and
the time interval
happens
earlier
than the
time
of existence of
the process
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
If
an agent
is a
registered
user
of
a web site
,
then there exists
an user account
such that
the user account
is an
instance
of
user account
and
the agent
has
account
the user account
and
the user account
is an
account
at
the web site
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