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 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 2782-2782
(format ChineseTraditionalLanguage amountCharged "%2 是在 %1 的 amount charged ")	domainEnglishFormat.kif 2781-2781
(format EnglishLanguage amountCharged "%2 is the amount charged in %1")	domainEnglishFormat.kif 2780-2780
(termFormat ChineseLanguage amountCharged "收费金额")	domainEnglishFormat.kif 7262-7262
(termFormat ChineseTraditionalLanguage amountCharged "收費金額")	domainEnglishFormat.kif 7261-7261
(termFormat EnglishLanguage amountCharged "amount charged")	domainEnglishFormat.kif 7260-7260

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 causes 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 causes the chargingA fee and the currency measure is the amount charged in the chargingA 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: