Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 2078-2079
(
domain
hasAccount
1
Agent
)
QoSontology.kif 2076-2076
The number 1 argument of
has account
is an
instance
of
agent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2077-2077
The number 2 argument of
has account
is an
instance
of
user account
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2075-2075
has account
is an
instance
of
asymmetric relation
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2074-2074
has account
is a
subrelation
of
possesses
appearance as argument number 2
(
format
ChineseLanguage
hasAccount
"%1 有 account %2 ")
domainEnglishFormat.kif 3607-3607
(
format
ChineseTraditionalLanguage
hasAccount
"%1 有 account %2 ")
domainEnglishFormat.kif 3606-3606
(
format
EnglishLanguage
hasAccount
"%1 has account %2")
domainEnglishFormat.kif 3605-3605
(
termFormat
ChineseLanguage
hasAccount
"有帐户")
domainEnglishFormat.kif 27489-27489
(
termFormat
ChineseTraditionalLanguage
hasAccount
"有帳戶")
domainEnglishFormat.kif 27488-27488
(
termFormat
EnglishLanguage
hasAccount
"has account")
domainEnglishFormat.kif 27487-27487
antecedent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1078-1082
If
an user account
is an
account
at
a WebSite
and
an agent
has
account
the user account
,
then
the agent
is a
registered
user
of
the 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 4391-4408
If
a cognitive agent
has
account
an user account
and
the user account
has
password
a computer password
and
deviceAccount
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 822-827
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 4087-4099
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 4043-4056
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 4065-4078
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 4530-4540
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 3973-3984
If
a process
is an
instance
of
LoginFailure
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 3936-3950
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 WebSite
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 WebSite
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 3952-3966
If
a process
is an
instance
of
logging in
and
an agent
has
account
an user account
and
deviceAccount
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 1296-1300
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 2057-2060
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 ?User)))
QoSontology.kif 2094-2097
If
an agent
has
account
an user account
,
then there exists
a computer password
such that
the agent
has
password
the computer password
(=>
(
holdsDuring
?T
(
hasAccount
?A ?UA))
(
holdsDuring
?T
(
attribute
?A
ComputerUser
)))
QoSontology.kif 2081-2085
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 4107-4117
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 4530-4540
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 3929-3934
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
Agent
)
(
instance
?USER2
Agent
)
(
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
?ACC1
BusinessAccount
)
(
attribute
?ACC2
BusinessAccount
))))
UXExperimentalTerms.kif 1935-1954
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 WebSite
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 WebSite
is an
instance
of
WebSite
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the WebSite
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 WebSite
and
the other user account
is an
account
at
the WebSite
and
business account
is an
attribute
of
another object
and
business account
is an
attribute
of
a third object
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
Agent
)
(
instance
?USER2
Agent
)
(
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
?ACCOUNT1
BusinessAccount
)
(
attribute
?ACCOUNT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1967-1986
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 WebSite
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 WebSite
is an
instance
of
WebSite
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the WebSite
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 WebSite
and
the other user account
is an
account
at
the WebSite
and
business account
is an
attribute
of
another object
and
consumer account
is an
attribute
of
a third object
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
ConsumerToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
Agent
)
(
instance
?USER2
Agent
)
(
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
?ACCOUNT1
ConsumerAccount
)
(
attribute
?ACCOUNT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1999-2018
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 WebSite
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 WebSite
is an
instance
of
WebSite
and
the agent
is an
agent
of
the object
and
the object
end
s up at
the other agent
and
the WebSite
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 WebSite
and
the other user account
is an
account
at
the WebSite
and
consumer account
is an
attribute
of
another object
and
consumer account
is an
attribute
of
a third object
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2046-2049
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 4301-4309
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 1070-1076
If
an agent
is a
registered
user
of
a WebSite
,
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 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
