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 EnglishLanguage amountCharged "%2 is the amount charged in %1") domainEnglishFormat.kif 706-706
(termFormat EnglishLanguage amountCharged "amount charged") domainEnglishFormat.kif 1643-1643

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