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

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 3222-3229

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 845-852


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