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 charging a 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 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 7261-7261
(termFormat ChineseTraditionalLanguage amountCharged "收費金額")	domainEnglishFormat.kif 7260-7260
(termFormat EnglishLanguage amountCharged "amount charged")	domainEnglishFormat.kif 7259-7259

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 3345-3355

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 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 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 900-907	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: