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 2077-2078
(
domain
hasAccount
1
Agent
)
QoSontology.kif 2075-2075
The number 1 argument of
has account
is an
instance
of
agent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2076-2076
The number 2 argument of
has account
is an
instance
of
user account
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2074-2074
has account
is an
instance
of
asymmetric relation
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2073-2073
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 4390-4407
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 4086-4098
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 4042-4055
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 4064-4077
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 4529-4539
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 3972-3983
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 3935-3949
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 3951-3965
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 2056-2059
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 2093-2096
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 2080-2084
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 4106-4116
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 4529-4539
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 3928-3933
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 2045-2048
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 4300-4308
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