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
ScrollBarArrowButton
Sigma KEE - amountCharged
amountCharged
appearance as argument number 1
(
documentation
amountCharged
EnglishLanguage
"(
amountCharged
?Fee ?Amount) means that ?Amount is the amount of the fee charged.")
FinancialOntology.kif 913-914
(
domain
amountCharged
1
ChargingAFee
)
FinancialOntology.kif 911-911
收费金额
的 1 数量 是
收费
的
instance
(
domain
amountCharged
2
CurrencyMeasure
)
FinancialOntology.kif 912-912
收费金额
的 2 数量 是
货币测量
的
instance
(
instance
amountCharged
BinaryPredicate
)
FinancialOntology.kif 910-910
收费金额
是
二元谓语
的
instance
(
subrelation
amountCharged
transactionAmount
)
FinancialOntology.kif 909-909
收费金额
是
交易金额
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
amountCharged
"%2 是在 %1 的
amount
charged ")
domainEnglishFormat.kif 2790-2790
(
format
ChineseTraditionalLanguage
amountCharged
"%2 是在 %1 的
amount
charged ")
domainEnglishFormat.kif 2789-2789
(
format
EnglishLanguage
amountCharged
"%2 is the
amount
charged in %1")
domainEnglishFormat.kif 2788-2788
(
termFormat
ChineseLanguage
amountCharged
"收费金额")
domainEnglishFormat.kif 7254-7254
(
termFormat
ChineseTraditionalLanguage
amountCharged
"收費金額")
domainEnglishFormat.kif 7253-7253
(
termFormat
EnglishLanguage
amountCharged
"amount charged")
domainEnglishFormat.kif 7252-7252
antecedent
(=>
(
and
(
incomeEarned
?Agent
(
MeasureFn
?Income ?CU) ?Activity)
(
amountCharged
?Tax
(
MeasureFn
?TaxAmount ?CU))
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount)))
(
afterTaxIncome
?Agent
(
MeasureFn
?ATIncome ?CU) ?Activity))
FinancialOntology.kif 3331-3341
如果
人类
是 对于 %3 赚的
income
和
实数
测量单位
是在
收费
的
amount
charged
和
机构性过程
causes
那个 收费
和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后 从
那个 机构性过程
由
那个 人类
引申的
after
tax
income
是
那个 另外 实数
那个 测量单位
consequent
(=>
(
instance
?C
Corkage
)
(
exists
(?AMT)
(
amountCharged
?C ?AMT)))
Dining.kif 110-113
如果
收费
是
Corkage
的
instance
,
然后 有存在
货币测量
这样
那个 货币测量
是在
那个 收费
的
amount
charged
(=>
(
serviceFee
?Bank ?Action ?Amount)
(
exists
(?Fee)
(
and
(
instance
?Fee
ChargingAFee
)
(
agent
?Fee ?Bank)
(
causes
?Action ?Fee)
(
amountCharged
?Fee ?Amount))))
FinancialOntology.kif 900-907
如果
金融机构
是 对于
货币测量
的
service
费用
金融交易
,
然后 有存在
收费
这样
那个 收费
是
收费
的
instance
和
那个 金融机构
是
那个 收费
的
agent
和
那个 金融交易
causes
那个 收费
和
那个 货币测量
是在
那个 收费
的
amount
charged
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