Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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

consequent
-------------------------


(=>
    (instance ?C Corkage)
    (exists (?AMT)
        (amountCharged ?C ?AMT)))
Dining.kif 110-113
(=>
    (serviceFee ?Bank ?Action ?Amount)
    (exists (?Fee)
        (and
            (instance ?Fee ChargingAFee)
            (agent ?Fee ?Bank)
            (causes ?Action ?Fee)
            (amountCharged ?Fee ?Amount))))
FinancialOntology.kif 900-907


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