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
Le nombre 1 argument de
hasAccount
est une
instance
de
AutonomousAgent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2071-2071
Le nombre 2 argument de
hasAccount
est une
instance
de
UserAccount
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2069-2069
hasAccount
est une
instance
de
relation asym�trique
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
hasAccount
est une
sous
-relation de
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
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 4427-4444
hasAccount
agent cognitif
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
agent cognitif
ne
conna
�t %n{pas}
password
ComputerPassword
and
UserAccount
agent cognitif
conna
�t
recoveryKey
entit�
and
UserAccount
agent cognitif
poss
�de
Computer
l'argument
entit�
entit�
est une
instance
de
ChangingPassword
UserAccount
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?ACCOUNT
UserAccount
)
(
attribute
?ACCOUNT
BusinessAccount
)
(
hasAccount
?USER ?ACCOUNT))
(
instance
?USER
Business
))
UXExperimentalTerms.kif 660-665
UserAccount
est une
instance
de
UserAccount
BusinessAccount
est un
attribut
de
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
AutonomousAgent
est une
instance
de
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
Processus
est une
instance
de
ChangingAccountInfo
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
accountInformation
UserAccount
and
proposition
entit�
entit�
est
proposition
accountInformation
UserAccount
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
ChangingPassword
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
entit�
entit�
est une
instance
de
ComputerPassword
entit�
est
ComputerPassword
password
entit�
and
UserAccount
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
ChangingUserName
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
UserAccount
userName
UserAccount
and
UserName
entit�
entit�
est une
instance
de
UserName
entit�
est
UserName
userName
UserAccount
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
DeletingAnAccount
entit�
est une
instance
de
Account
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
LoginFailure
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
AutonomousAgent
C
entit�
entit�
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
LoggingIn
AutonomousAgent
C est un
patient
de
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
interval temporel
est
apr
�s
temps
d'existence de
processus
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
ComputerProcess
entit�
est un
agent
de
AutonomousAgent
WebSite
est un
patient
de
entit�
pendant
interval temporel
a la
force
modale
de
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
Processus
est une
instance
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
interval temporel
est
apr
�s
temps
d'existence de
processus
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
ComputerProcess
entit�
est un
agent
de
AutonomousAgent
Computer
est un
instrument
pour
entit�
pendant
interval temporel
a la
force
modale
de
Possibility
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
Identifier
d
�finie
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 ?Account)))
QoSontology.kif 2088-2091
hasAccount
AutonomousAgent
and
UserAccount
ComputerPassword
password
ComputerPassword
and
UserAccount
(=>
(
holdsDuring
?T
(
hasAccount
?A ?UA))
(
holdsDuring
?T
(
attribute
?A
ComputerUser
)))
QoSontology.kif 2075-2079
hasAccount
entit�
and
entit�
pendant
position temporel
ComputerUser
est un
attribut
de
entit�
pendant
position temporel
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
Processus
est une
instance
de
CreatingAnAccount
processus
est un
agent
de
AutonomousAgent
entit�
entit�
and
entit�
hasAccount
AutonomousAgent
and
entit�
password
entit�
and
entit�
userName
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
DeletingAnAccount
entit�
est une
instance
de
Account
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?LI
LoggingIn
)
(
agent
?LI ?U))
(
exists
(?A)
(
hasAccount
?U ?A)))
ComputingBrands.kif 3965-3970
Processus
est une
instance
de
LoggingIn
processus
est un
agent
de
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 1727-1746
Objet
est une
instance
de
financial transaction
BusinessToBusiness
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
BusinessAccount
est un
attribut
de
UserAccount
(=>
(
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
Objet
est une
instance
de
financial transaction
BusinessToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
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
Objet
est une
instance
de
financial transaction
ConsumerToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2040-2043
UserAccount
est une
instance
de
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 4337-4345
loggedInDuring
AutonomousAgent
,
UserAccount
and
interval temporel
processus
processus
est une
instance
de
LoggingIn
processus
est un
agent
de
AutonomousAgent
UserAccount
est un
patient
de
processus
hasAccount
AutonomousAgent
and
UserAccount
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
registeredUser
AutonomousAgent
and
WebSite
UserAccount
UserAccount
est une
instance
de
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