Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterPollution

Sigma KEE - serviceFee
serviceFee

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 引数は FinancialOrganizationinstance では %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 serviceFee3進述語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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners