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
amountCharged
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
The number 1 argument of
amount charged
is an
instance
of
chargingA fee
(
domain
amountCharged
2
CurrencyMeasure
)
FinancialOntology.kif 912-912
The number 2 argument of
amount charged
is an
instance
of
currency measure
(
instance
amountCharged
BinaryPredicate
)
FinancialOntology.kif 910-910
amount charged
is an
instance
of
binary predicate
(
subrelation
amountCharged
transactionAmount
)
FinancialOntology.kif 909-909
amount charged
is a
subrelation
of
transaction amount
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
If
a human
is
income
earned
a real number
an unit of measure
(s) for
an organizational process
and
another real number
the unit of measure
(s) is the
amount
charged
in
a chargingA fee
and
the organizational process
cause
s
the chargingA fee
and
a third real number
is
equal
to (
the real number
and
the other real number
),
then the
after
tax
income
derived by
the human
from
the organizational process
is
the third real number
the unit of measure
(s)
consequent
(=>
(
instance
?C
Corkage
)
(
exists
(?AMT)
(
amountCharged
?C ?AMT)))
Dining.kif 110-113
If
a chargingA fee
is an
instance
of
corkage
,
then there exists
a currency measure
such that
the currency measure
is the
amount
charged
in
the chargingA fee
(=>
(
serviceFee
?Bank ?Action ?Amount)
(
exists
(?Fee)
(
and
(
instance
?Fee
ChargingAFee
)
(
agent
?Fee ?Bank)
(
causes
?Action ?Fee)
(
amountCharged
?Fee ?Amount))))
FinancialOntology.kif 900-907
If
a financial organization
is
service
fee
a financial transaction
for
a currency measure
,
then there exists
a chargingA fee
such that
the chargingA fee
is an
instance
of
chargingA fee
and
the financial organization
is an
agent
of
the chargingA fee
and
the financial transaction
cause
s
the chargingA fee
and
the currency measure
is the
amount
charged
in
the chargingA fee
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