amountCharged - Sigma Knowledge base Browser

appearance as argument number 1

(documentation amountCharged EnglishLanguage "(amountCharged ?Fee ?Amount) means that ?Amount is the amount of the fee charged.")	FinancialOntology.kif 915-916
(domain amountCharged 1 ChargingAFee)	FinancialOntology.kif 913-913	The number 1 argument of amount charged is an instance of charging a fee
(domain amountCharged 2 CurrencyMeasure)	FinancialOntology.kif 914-914	The number 2 argument of amount charged is an instance of currency measure
(instance amountCharged BinaryPredicate)	FinancialOntology.kif 912-912	amount charged is an instance of binary predicate
(subrelation amountCharged transactionAmount)	FinancialOntology.kif 911-911	amount charged is a subrelation of transaction amount

appearance as argument number 2

(format ChineseLanguage amountCharged "%2 是在 %1 的 amount charged ")	domainEnglishFormat.kif 2786-2786
(format ChineseTraditionalLanguage amountCharged "%2 是在 %1 的 amount charged ")	domainEnglishFormat.kif 2785-2785
(format EnglishLanguage amountCharged "%2 is the amount charged in %1")	domainEnglishFormat.kif 2784-2784
(termFormat ChineseLanguage amountCharged "收费金额")	domainEnglishFormat.kif 7255-7255
(termFormat ChineseTraditionalLanguage amountCharged "收費金額")	domainEnglishFormat.kif 7254-7254
(termFormat EnglishLanguage amountCharged "amount charged")	domainEnglishFormat.kif 7253-7253

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 3348-3358

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 charging a fee and the organizational process causes the charging a fee and equal an integer and (the real number and the other real number),
then the after tax income derived by the human from the organizational process is the integer the unit of measure(s)

consequent

(=> (instance ?C Corkage) (exists (?AMT) (amountCharged ?C ?AMT)))	Dining.kif 110-113	If a charging a fee is an instance of corkage, then there exists a currency measure such that the currency measure is the amount charged in the charging a fee
(=> (serviceFee ?Bank ?Action ?Amount) (exists (?Fee) (and (instance ?Fee ChargingAFee) (agent ?Fee ?Bank) (causes ?Action ?Fee) (amountCharged ?Fee ?Amount))))	FinancialOntology.kif 902-909	If a financial organization is service fee a financial transaction for a currency measure, then there exists a charging a fee such that the charging a fee is an instance of charging a fee and the financial organization is an agent of the charging a fee and the financial transaction causes the charging a fee and the currency measure is the amount charged in the charging a fee

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: