TreeView Knowledge Base Browser

appearance as argument number 1

(documentation serviceFee EnglishLanguage "A charge to the customer levied by a FinancialOrganization for a FinancialTransaction, such as OpeningAnAccount or UsingAnAccount.")	FinancialOntology.kif 897-898
(domain serviceFee 1 FinancialOrganization)	FinancialOntology.kif 894-894	serviceFee の数値 1 引数は FinancialOrganization の instance では %n
(domain serviceFee 2 FinancialTransaction)	FinancialOntology.kif 895-895	serviceFee の数値 2 引数は金融取引の instance では %n
(domain serviceFee 3 CurrencyMeasure)	FinancialOntology.kif 896-896	serviceFee の数値 3 引数は通貨測定の instance では %n
(instance serviceFee TernaryPredicate)	FinancialOntology.kif 893-893	serviceFee は 3進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage serviceFee "%1 %n 是对于 %3 的 service 费用 %2 ")	domainEnglishFormat.kif 2251-2251
(format ChineseTraditionalLanguage serviceFee "%1 %n 是對於 %3 的 service 費用 %2 ")	domainEnglishFormat.kif 2250-2250
(format EnglishLanguage serviceFee "%1 is %n service fee %2 for %3")	domainEnglishFormat.kif 2249-2249
(termFormat ChineseLanguage serviceFee "服务费")	domainEnglishFormat.kif 52253-52253
(termFormat ChineseTraditionalLanguage serviceFee "服務費")	domainEnglishFormat.kif 52252-52252
(termFormat EnglishLanguage serviceFee "service fee")	domainEnglishFormat.kif 52251-52251

antecedent

(=>
    (serviceFee ?Bank ?Action ?Amount)
    (exists (?Fee)
        (and
            (instance ?Fee ChargingAFee)
            (agent ?Fee ?Bank)
            (causes ?Action ?Fee)
            (amountCharged ?Fee ?Amount))))

FinancialOntology.kif 900-907

serviceFee FinancialOrganization, 金融取引 and 通貨測定
ChargingAFee ChargingAFee は ChargingAFee の instance では %n FinancialOrganization は ChargingAFee の agent では %n 金融取引は ChargingAFee を causes %n{ない} amountCharged ChargingAFee and 通貨測定

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

KB Term:			Term intersection

English Word: