Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
DiskShaped
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 2204-2205
(
domain
hasAccount
1
AutonomousAgent
)
QoSontology.kif 2202-2202
The number 1 argument of
has account
is an
instance
of
agent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2203-2203
The number 2 argument of
has account
is an
instance
of
user account
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2200-2200
has account
is an
instance
of
asymmetric relation
(
instance
hasAccount
BinaryRelation
)
QoSontology.kif 2201-2201
has account
is an
instance
of
binary relation
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2199-2199
has account
is a
subrelation
of
possesses
appearance as argument number 2
(
format
ChineseLanguage
hasAccount
"%1 有 account %2 ")
domainEnglishFormat.kif 3600-3600
(
format
ChineseTraditionalLanguage
hasAccount
"%1 有 account %2 ")
domainEnglishFormat.kif 3599-3599
(
format
EnglishLanguage
hasAccount
"%1 has account %2")
domainEnglishFormat.kif 3598-3598
(
termFormat
ChineseLanguage
hasAccount
"有帐户")
domainEnglishFormat.kif 27509-27509
(
termFormat
ChineseTraditionalLanguage
hasAccount
"有帳戶")
domainEnglishFormat.kif 27508-27508
(
termFormat
EnglishLanguage
hasAccount
"has account")
domainEnglishFormat.kif 27507-27507
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 4422-4439
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 4118-4130
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 4074-4087
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 4096-4109
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 4561-4571
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 4004-4015
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 3967-3981
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 3983-3997
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 2182-2185
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 2220-2223
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 2207-2211
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 4138-4148
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 4561-4571
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 3960-3965
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 2171-2174
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 4332-4340
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
