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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 895-895
(domain serviceFee 3 CurrencyMeasure) FinancialOntology.kif 896-896
(instance serviceFee TernaryPredicate) FinancialOntology.kif 893-893

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 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 3.0 is open source software produced by Articulate Software and its partners