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
域
有帳戶
, 1 and
AutonomousAgent
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2071-2071
域
有帳戶
, 2 and
用戶帳號
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2069-2069
例
有帳戶
and
AsymmetricRelation
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
子關係
有帳戶
and
擁有
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
用戶帳號
是在
WebSite
的
account
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
是
WebSite
的
registered
user
(=>
(
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
CognitiveAgent
有
account
用戶帳號
用戶帳號
有
password
電腦密碼
deviceAccount
用戶帳號
and
電腦
知道
CognitiveAgent
and
用戶帳號
有
password
電腦密碼
知道
CognitiveAgent
and
recoveryKey
entity
and
用戶帳號
擁有
CognitiveAgent
and
電腦
模態屬性
entity
例
entity
and
ChangingPassword
患者
entity
and
用戶帳號
agent
entity
and
CognitiveAgent
and
可能性
(=>
(
and
(
instance
?ACCOUNT
UserAccount
)
(
attribute
?ACCOUNT
BusinessAccount
)
(
hasAccount
?USER ?ACCOUNT))
(
instance
?USER
Business
))
UXExperimentalTerms.kif 660-665
例
用戶帳號
and
用戶帳號
attribute
用戶帳號
and
BusinessAccount
AutonomousAgent
有
account
用戶帳號
例
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 4123-4135
例
Process
and
ChangingAccountInfo
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
accountInformation
用戶帳號
and
Proposition
持有期間
眼前的未來
何時
Process
and
entity
等於
entity
and
Proposition
accountInformation
用戶帳號
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 4079-4092
例
Process
and
ChangingPassword
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
用戶帳號
有
password
電腦密碼
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
電腦密碼
等於
entity
and
電腦密碼
用戶帳號
有
password
entity
(=>
(
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
例
Process
and
ChangingUserName
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
用戶帳號
的
user
name
是
用戶名
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
用戶名
等於
entity
and
用戶名
用戶帳號
的
user
name
是
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 4566-4576
例
Process
and
DeletingAnAccount
例
Entity
and
Account
持有期間
不久的過去
何時
Process
and
AutonomousAgent
有
account
Entity
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
AutonomousAgent
有
account
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 4009-4020
例
Process
and
LoginFailure
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
AutonomousAgent
C
持有期間
何時
Process
and
entity
agent
entity
and
AutonomousAgent
例
entity
and
LoggingIn
患者
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 3972-3986
例
Process
and
LoggingIn
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
等於
TimeInterval
and
眼前的未來
何時
Process
agent
Process
and
AutonomousAgent
模態屬性
持有期間
TimeInterval
and
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
患者
entity
and
WebSite
and
可能性
(=>
(
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
例
Process
and
LoggingIn
AutonomousAgent
有
account
用戶帳號
deviceAccount
用戶帳號
and
電腦
等於
TimeInterval
and
眼前的未來
何時
Process
agent
Process
and
AutonomousAgent
模態屬性
持有期間
TimeInterval
and
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
儀器
entity
and
電腦
and
可能性
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
對於
用戶帳號
的
ID
是
Identifier
AutonomousAgent
有
account
用戶帳號
代表
Identifier
and
AutonomousAgent
(=>
(
hasAccount
?User ?Account)
(
exists
(?Name)
(
userName
?Account ?Name)))
QoSontology.kif 2051-2054
AutonomousAgent
有
account
用戶帳號
用戶名
用戶帳號
的
user
name
是
用戶名
(=>
(
hasAccount
?User ?Account)
(
exists
(?Password)
(
password
?Password ?Account)))
QoSontology.kif 2088-2091
AutonomousAgent
有
account
用戶帳號
電腦密碼
用戶帳號
有
password
電腦密碼
(=>
(
holdsDuring
?T
(
hasAccount
?A ?UA))
(
holdsDuring
?T
(
attribute
?A
ComputerUser
)))
QoSontology.kif 2075-2079
持有期間
TimePosition
and
entity
有
account
entity
持有期間
TimePosition
and
attribute
entity
and
電腦用戶
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
例
Process
and
CreatingAnAccount
agent
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
entity
entity
and
entity
AutonomousAgent
有
account
entity
entity
有
password
entity
entity
的
user
name
是
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 4566-4576
例
Process
and
DeletingAnAccount
例
Entity
and
Account
持有期間
不久的過去
何時
Process
and
AutonomousAgent
有
account
Entity
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
AutonomousAgent
有
account
Entity
(=>
(
and
(
instance
?LI
LoggingIn
)
(
agent
?LI ?U))
(
exists
(?A)
(
hasAccount
?U ?A)))
ComputingBrands.kif 3965-3970
例
Process
and
LoggingIn
agent
Process
and
AutonomousAgent
用戶帳號
AutonomousAgent
有
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
例
Object
and
FinancialTransaction
attribute
Object
and
BusinessToBusiness
用戶帳號
用戶帳號
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
例
用戶帳號
and
用戶帳號
例
用戶帳號
and
用戶帳號
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
儀器
Object
and
WebSite
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
用戶帳號
是在
WebSite
的
account
attribute
用戶帳號
and
BusinessAccount
attribute
用戶帳號
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 1759-1778
例
Object
and
FinancialTransaction
attribute
Object
and
BusinessToConsumer
用戶帳號
用戶帳號
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
例
用戶帳號
and
用戶帳號
例
用戶帳號
and
用戶帳號
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
儀器
Object
and
WebSite
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
用戶帳號
是在
WebSite
的
account
attribute
用戶帳號
and
BusinessAccount
attribute
用戶帳號
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 1791-1810
例
Object
and
FinancialTransaction
attribute
Object
and
ConsumerToConsumer
用戶帳號
用戶帳號
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
例
用戶帳號
and
用戶帳號
例
用戶帳號
and
用戶帳號
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
儀器
Object
and
WebSite
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
用戶帳號
是在
WebSite
的
account
attribute
用戶帳號
and
ConsumerAccount
attribute
用戶帳號
and
ConsumerAccount
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2040-2043
例
用戶帳號
and
用戶帳號
AutonomousAgent
AutonomousAgent
有
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 4337-4345
loggedInDuring
AutonomousAgent
,
用戶帳號
and
TimeInterval
Process
例
Process
and
LoggingIn
agent
Process
and
AutonomousAgent
患者
Process
and
用戶帳號
AutonomousAgent
有
account
用戶帳號
早期
TimeInterval
and
何時
Process
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
AutonomousAgent
是
WebSite
的
registered
user
用戶帳號
例
用戶帳號
and
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
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