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

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 ChineseLanguage, amountCharged and "收费金额"
(termFormat ChineseTraditionalLanguage amountCharged "收費金額") domainEnglishFormat.kif 7260-7260 termFormat ChineseTraditionalLanguage, amountCharged and "收費金額"
(termFormat EnglishLanguage amountCharged "amount charged") domainEnglishFormat.kif 7259-7259 termFormat EnglishLanguage, amountCharged and "amount charged"

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 CurrencyMeasure ChargingAFee and ChargingAFeeAmount incomeEarned Human, CurrencyMeasure and OrganizationalProcess amountCharged ChargingAFee and ChargingAFeeAmount causes OrganizationalProcess and ChargingAFee equal CurrencyMeasure and SubtractionFn CurrencyMeasure and ChargingAFeeAmount afterTaxIncome Human, CurrencyMeasure and OrganizationalProcess

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