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 857-858
(domain amountCharged 1 ChargingAFee) FinancialOntology.kif 855-855
(domain amountCharged 2 CurrencyMeasure) FinancialOntology.kif 856-856
(instance amountCharged BinaryPredicate) FinancialOntology.kif 854-854
(subrelation amountCharged transactionAmount) FinancialOntology.kif 853-853

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


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

antecedent
-------------------------


(<=>
    (exists (?Income ?Tax ?TaxAmount)
        (and
            (incomeEarned ?Agent ?Income ?Activity)
            (amountCharged ?Tax ?TaxAmount)
            (causes ?Activity ?Tax)
            (equal ?ATIncome
                (SubtractionFn ?Income ?TaxAmount))))
    (afterTaxIncome ?Agent ?ATIncome ?Activity))
FinancialOntology.kif 3228-3235

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 844-851


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners