TreeView Knowledge Base Browser

appearance as argument number 1

(documentation amountCharged EnglishLanguage "(amountCharged ?Fee ?Amount) means that ?Amount is the amount of the fee charged.")	FinancialOntology.kif 913-914
(domain amountCharged 1 ChargingAFee)	FinancialOntology.kif 911-911
(domain amountCharged 2 CurrencyMeasure)	FinancialOntology.kif 912-912
(instance amountCharged BinaryPredicate)	FinancialOntology.kif 910-910
(subrelation amountCharged transactionAmount)	FinancialOntology.kif 909-909

appearance as argument number 2

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

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 3331-3341

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 900-907

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: