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
hasAccount
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
hasAccount
2
UserAccount
)
QoSontology.kif 2071-2071
hasAccount
の数値 2 引数は
UserAccount
の
instance
では %n
(
instance
hasAccount
AsymmetricRelation
)
QoSontology.kif 2069-2069
hasAccount
は
非対称関係
の
instance
では %n
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
hasAccount
は
possesses
の
subrelation
では %n
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 27504-27504
(
termFormat
ChineseTraditionalLanguage
hasAccount
"有帳戶")
domainEnglishFormat.kif 27503-27503
(
termFormat
EnglishLanguage
hasAccount
"has account")
domainEnglishFormat.kif 27502-27502
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
認識エージェント
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
認識エージェント
は
password
ComputerPassword
and
UserAccount
を
know
ない
認識エージェント
は
recoveryKey
エンティティー
and
UserAccount
を
know
s %n{ない}
認識エージェント
は
Computer
を
possess
es %n{ない}
ステートメント
エンティティー
エンティティー
は
ChangingPassword
の
instance
では %n
UserAccount
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?ACCOUNT
UserAccount
)
(
attribute
?ACCOUNT
BusinessAccount
)
(
hasAccount
?USER ?ACCOUNT))
(
instance
?USER
Business
))
UXExperimentalTerms.kif 660-665
UserAccount
は
UserAccount
の
instance
では %n
BusinessAccount
は
UserAccount
の
attribute
では %n
hasAccount
AutonomousAgent
and
UserAccount
AutonomousAgent
は
Business
の
instance
では %n
(=>
(
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
工程
は
ChangingAccountInfo
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
UserAccount
accountInformation
UserAccount
and
命題
エンティティー
エンティティー
は
命題
と
equal
では
accountInformation
UserAccount
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は
ChangingPassword
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
エンティティー
エンティティー
は
ComputerPassword
の
instance
では %n
エンティティー
は
ComputerPassword
と
equal
では
password
エンティティー
and
UserAccount
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は
ChangingUserName
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
UserAccount
userName
UserAccount
and
UserName
エンティティー
エンティティー
は
UserName
の
instance
では %n
エンティティー
は
UserName
と
equal
では
userName
UserAccount
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は
DeletingAnAccount
の
instance
では %n
エンティティー
は
Account
の
instance
では %n
hasAccount
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は
LoginFailure
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
AutonomousAgent
C
エンティティー
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
LoggingIn
の
instance
では %n
AutonomousAgent
C は
エンティティー
の
patient
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
工程
は
LoggingIn
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
WebSite
は
エンティティー
の
patient
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
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
工程
は
LoggingIn
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
Computer
は
エンティティー
の
instrument
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
Identifier
は
AutonomousAgent
を
express
es %n{ない}
(=>
(
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
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ComputerUser
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
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
工程
は
CreatingAnAccount
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
and
エンティティー
hasAccount
AutonomousAgent
and
エンティティー
password
エンティティー
and
エンティティー
userName
エンティティー
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は
DeletingAnAccount
の
instance
では %n
エンティティー
は
Account
の
instance
では %n
hasAccount
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?LI
LoggingIn
)
(
agent
?LI ?U))
(
exists
(?A)
(
hasAccount
?U ?A)))
ComputingBrands.kif 3965-3970
工程
は
LoggingIn
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
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 1735-1754
オブジェクト
は
金融取引
の
instance
では %n
BusinessToBusiness
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
は
UserAccount
の
attribute
では %n
BusinessAccount
は
UserAccount
の
attribute
では %n
(=>
(
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 1767-1786
オブジェクト
は
金融取引
の
instance
では %n
BusinessToConsumer
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
は
UserAccount
の
attribute
では %n
ConsumerAccount
は
UserAccount
の
attribute
では %n
(=>
(
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 1799-1818
オブジェクト
は
金融取引
の
instance
では %n
ConsumerToConsumer
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
は
UserAccount
の
attribute
では %n
ConsumerAccount
は
UserAccount
の
attribute
では %n
(=>
(
instance
?Account
UserAccount
)
(
exists
(?User)
(
hasAccount
?User ?Account)))
QoSontology.kif 2040-2043
UserAccount
は
UserAccount
の
instance
では %n
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
時間間隔
工程
工程
は
LoggingIn
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
UserAccount
は
工程
の
patient
では %n
hasAccount
AutonomousAgent
and
UserAccount
時間間隔
は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
は
UserAccount
の
instance
では %n
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