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 912-913
(domain amountCharged 1 ChargingAFee) FinancialOntology.kif 910-910
(domain amountCharged 2 CurrencyMeasure) FinancialOntology.kif 911-911
(instance amountCharged BinaryPredicate) FinancialOntology.kif 909-909
(subrelation amountCharged transactionAmount) FinancialOntology.kif 908-908

appearance as argument number 2
-------------------------


(format ChineseLanguage amountCharged "%2 是在 %1 的 amount charged ") domainEnglishFormat.kif 2791-2791
(format ChineseTraditionalLanguage amountCharged "%2 是在 %1 的 amount charged ") domainEnglishFormat.kif 2790-2790
(format EnglishLanguage amountCharged "%2 is the amount charged in %1") domainEnglishFormat.kif 2789-2789
(termFormat ChineseLanguage amountCharged "收费金额") domainEnglishFormat.kif 7263-7263
(termFormat ChineseTraditionalLanguage amountCharged "收費金額") domainEnglishFormat.kif 7262-7262
(termFormat EnglishLanguage amountCharged "amount charged") domainEnglishFormat.kif 7261-7261

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 3337-3347

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 899-906


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