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 2072-2073
(
domain
hasAccount
1
AutonomousAgent
)
QoSontology.kif 2070-2070
domain
hasAccount
, 1 and
AutonomousAgent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2071-2071
domain
hasAccount
, 2 and
UserAccount
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2069-2069
instance
hasAccount
and
AsymmetricRelation
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
subrelation
hasAccount
and
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 27484-27484
(
termFormat
ChineseTraditionalLanguage
hasAccount
"有帳戶")
domainEnglishFormat.kif 27483-27483
(
termFormat
EnglishLanguage
hasAccount
"has account")
domainEnglishFormat.kif 27482-27482
antecedent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1078-1082
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 4425-4442
hasAccount
CognitiveAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
knows
CognitiveAgent
and
password
ComputerPassword
and
UserAccount
knows
CognitiveAgent
and
recoveryKey
entity
and
UserAccount
possesses
CognitiveAgent
and
Computer
modalAttribute
entity
instance
entity
and
ChangingPassword
patient
entity
and
UserAccount
agent
entity
and
CognitiveAgent
and
Possibility
(=>
(
and
(
instance
?ACCOUNT
UserAccount
)
(
attribute
?ACCOUNT
BusinessAccount
)
(
hasAccount
?USER ?ACCOUNT))
(
instance
?USER
Business
))
UXExperimentalTerms.kif 822-827
instance
UserAccount
and
UserAccount
attribute
UserAccount
and
BusinessAccount
hasAccount
AutonomousAgent
and
UserAccount
instance
AutonomousAgent
and
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 4121-4133
instance
Process
and
ChangingAccountInfo
agent
Process
and
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
accountInformation
UserAccount
and
Proposition
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
equal
entity
and
Proposition
accountInformation
UserAccount
and
entity
(=>
(
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 4077-4090
instance
Process
and
ChangingPassword
agent
Process
and
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
instance
entity
and
ComputerPassword
equal
entity
and
ComputerPassword
password
entity
and
UserAccount
(=>
(
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 4099-4112
instance
Process
and
ChangingUserName
agent
Process
and
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
userName
UserAccount
and
UserName
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
instance
entity
and
UserName
equal
entity
and
UserName
userName
UserAccount
and
entity
(=>
(
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 4564-4574
instance
Process
and
DeletingAnAccount
instance
Entity
and
Account
holdsDuring
ImmediatePastFn
WhenFn
Process
and
hasAccount
AutonomousAgent
and
Entity
patient
Process
and
Entity
agent
Process
and
AutonomousAgent
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
hasAccount
AutonomousAgent
and
Entity
(=>
(
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 4007-4018
instance
Process
and
LoginFailure
agent
Process
and
AutonomousAgent
hasAccount
AutonomousAgent
and
AutonomousAgent
C
holdsDuring
WhenFn
Process
and
entity
agent
entity
and
AutonomousAgent
instance
entity
and
LoggingIn
patient
entity
and
AutonomousAgent
C
(=>
(
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 3970-3984
instance
Process
and
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
equal
TimeInterval
and
ImmediateFutureFn
WhenFn
Process
agent
Process
and
AutonomousAgent
modalAttribute
holdsDuring
TimeInterval
and
entity
instance
entity
and
ComputerProcess
agent
entity
and
AutonomousAgent
patient
entity
and
WebSite
and
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 3986-4000
instance
Process
and
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
equal
TimeInterval
and
ImmediateFutureFn
WhenFn
Process
agent
Process
and
AutonomousAgent
modalAttribute
holdsDuring
TimeInterval
and
entity
instance
entity
and
ComputerProcess
agent
entity
and
AutonomousAgent
instrument
entity
and
Computer
and
Possibility
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1296-1300
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
represents
Identifier
and
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 ?User)))
QoSontology.kif 2088-2091
hasAccount
AutonomousAgent
and
UserAccount
ComputerPassword
password
ComputerPassword
and
AutonomousAgent
(=>
(
holdsDuring
?T
(
hasAccount
?A ?UA))
(
holdsDuring
?T
(
attribute
?A
ComputerUser
)))
QoSontology.kif 2075-2079
holdsDuring
TimePosition
and
hasAccount
entity
and
entity
holdsDuring
TimePosition
and
attribute
entity
and
ComputerUser
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 4141-4151
instance
Process
and
CreatingAnAccount
agent
Process
and
AutonomousAgent
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
entity
entity
and
entity
hasAccount
AutonomousAgent
and
entity
password
entity
and
entity
userName
entity
and
entity
(=>
(
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 4564-4574
instance
Process
and
DeletingAnAccount
instance
Entity
and
Account
holdsDuring
ImmediatePastFn
WhenFn
Process
and
hasAccount
AutonomousAgent
and
Entity
patient
Process
and
Entity
agent
Process
and
AutonomousAgent
holdsDuring
ImmediateFutureFn
WhenFn
Process
and
hasAccount
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?LI
LoggingIn
)
(
agent
?LI ?U))
(
exists
(?A)
(
hasAccount
?U ?A)))
ComputingBrands.kif 3963-3968
instance
Process
and
LoggingIn
agent
Process
and
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 1933-1952
instance
Object
and
FinancialTransaction
attribute
Object
and
BusinessToBusiness
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
instance
UserAccount
and
UserAccount
instance
UserAccount
and
UserAccount
instance
AutonomousAgent
and
AutonomousAgent
instance
AutonomousAgent
and
AutonomousAgent
instance
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
destination
Object
and
AutonomousAgent
instrument
Object
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
BusinessAccount
attribute
UserAccount
and
BusinessAccount
(=>
(
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 1965-1984
instance
Object
and
FinancialTransaction
attribute
Object
and
BusinessToConsumer
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
instance
UserAccount
and
UserAccount
instance
UserAccount
and
UserAccount
instance
AutonomousAgent
and
AutonomousAgent
instance
AutonomousAgent
and
AutonomousAgent
instance
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
destination
Object
and
AutonomousAgent
instrument
Object
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
BusinessAccount
attribute
UserAccount
and
ConsumerAccount
(=>
(
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 1997-2016
instance
Object
and
FinancialTransaction
attribute
Object
and
ConsumerToConsumer
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
instance
UserAccount
and
UserAccount
instance
UserAccount
and
UserAccount
instance
AutonomousAgent
and
AutonomousAgent
instance
AutonomousAgent
and
AutonomousAgent
instance
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
destination
Object
and
AutonomousAgent
instrument
Object
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
ConsumerAccount
attribute
UserAccount
and
ConsumerAccount
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2040-2043
instance
UserAccount
and
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 4335-4343
loggedInDuring
AutonomousAgent
,
UserAccount
and
TimeInterval
Process
instance
Process
and
LoggingIn
agent
Process
and
AutonomousAgent
patient
Process
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
earlier
TimeInterval
and
WhenFn
Process
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 1070-1076
registeredUser
AutonomousAgent
and
WebSite
UserAccount
instance
UserAccount
and
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