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
accountAt
Sigma KEE - accountAt
accountAt
appearance as argument number 1
(
documentation
accountAt
EnglishLanguage
"(
accountAt
?Account ?Bank) means that ?Account is a
FinancialAccount
opened in the
FinancialOrganization
?Bank.")
FinancialOntology.kif 232-233
(
domain
accountAt
1
FinancialAccount
)
FinancialOntology.kif 230-230
帐号在
的 1 数量 是
金融账户
的
instance
(
domain
accountAt
2
FinancialOrganization
)
FinancialOntology.kif 231-231
帐号在
的 2 数量 是
金融机构
的
instance
(
instance
accountAt
BinaryPredicate
)
FinancialOntology.kif 229-229
帐号在
是
二元谓语
的
instance
(
subrelation
accountAt
partyToAgreement
)
FinancialOntology.kif 228-228
帐号在
是
协议的一方
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
accountAt
"%1 %n 是被 %2 held ")
domainEnglishFormat.kif 2674-2674
(
format
ChineseTraditionalLanguage
accountAt
"%1 %n 是被 %2 held ")
domainEnglishFormat.kif 2673-2673
(
format
EnglishLanguage
accountAt
"%1 is held by %2")
domainEnglishFormat.kif 2672-2672
(
termFormat
ChineseLanguage
accountAt
"帐号在")
domainEnglishFormat.kif 5238-5238
(
termFormat
ChineseTraditionalLanguage
accountAt
"帳號在")
domainEnglishFormat.kif 5237-5237
(
termFormat
EnglishLanguage
accountAt
"account at")
domainEnglishFormat.kif 5236-5236
antecedent
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
如果
有认知的主事
持有
account
金融账户
和
那个 金融账户
是被
金融机构
held
,
然后
那个 金融机构
是
那个 有认知的主事
的
customer
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountAt
?Account ?Organization)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Agent)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Organization))))
FinancialOntology.kif 1212-1222
如果
金融账户
是
信用账户
的
instance
和
那个 金融账户
是被
金融机构
held
和
有认知的主事
持有
account
那个 金融账户
和
那个 金融账户
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 有认知的主事
是
那个 金融交易
的源头 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 金融机构
结束
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是被
金融机构
held
,
然后 有存在
过程
这样
那个 过程
是
控制一个帐户
的
instance
和
那个 金融账户
是
那个 过程
的
patient
和
那个 金融机构
是
那个 过程
的
agent
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1162-1171
如果
金融账户
是
责任账户
的
instance
和
协议
持有
account
那个 金融账户
和
那个 金融账户
是被
另一个 协议
held
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
有
责任
的
attribute
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
(=>
(
and
(
instance
?Controlling
ControllingAnAccount
)
(
patient
?Controlling ?Account)
(
accountAt
?Account ?Bank))
(
agent
?Controlling ?Bank))
FinancialOntology.kif 356-361
如果
过程
是
控制一个帐户
的
instance
和
金融账户
是
那个 过程
的
patient
和
那个 金融账户
是被
金融机构
held
,
然后
那个 金融机构
是
那个 过程
的
agent
consequent
(<=>
(
bankAccount
?AccountType ?Bank)
(
exists
(?Account)
(
and
(
instance
?Account ?AccountType)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 3943-3948
BankFinancialOrganization
是
有点 金融账户
的
bank
帐号 若且唯若 有存在
另一个 金融账户
这样
那个 另外 金融账户
是
有点 金融账户
的
instance
和
那个 另外 金融账户
是被
那个 BankFinancialOrganization
held
(=>
(
and
(
instance
?Card
BankCard
)
(
issuedBy
?Card ?Bank))
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
cardAccount
?Card ?Account)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 188-196
如果
银行卡
是
银行卡
的
instance
和
金融机构
是由
那个 银行卡
的
issued
,
然后 有存在
金融账户
这样
那个 金融账户
是
金融账户
的
instance
和
那个 金融账户
是
那个 银行卡
的
card
帐户 和
那个 金融账户
是被
那个 金融机构
held
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
如果
过程
是
开户
的
instance
和
那个 过程
是
located
在
金融机构
和
那个 金融机构
是
金融机构
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
出现 的
time
equal
那个 过程
Time,
然后 有存在
金融账户
和
那个 金融账户
Period 这样
那个 金融账户
Period 是
那个 金融账户
的
agreement
週期 和
那个 过程
Time 接着
那个 金融账户
Period 和
那个 金融账户
是
金融账户
的
instance
和
那个 金融账户
是被
那个 金融机构
held
和
那个 有认知的主事
持有
account
那个 金融账户
(=>
(
instance
?Account
FinancialAccount
)
(
exists
(?Organization)
(
and
(
instance
?Organization
FinancialOrganization
)
(
accountAt
?Account ?Organization))))
FinancialOntology.kif 69-74
如果
金融账户
是
金融账户
的
instance
,
然后 有存在
金融机构
这样
那个 金融机构
是
金融机构
的
instance
和
那个 金融账户
是被
那个 金融机构
held
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