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 Le nombre 1 argument de serviceFee est une instance de FinancialOrganization
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 895-895 Le nombre 2 argument de serviceFee est une instance de financial transaction
(domain serviceFee 3 CurrencyMeasure) FinancialOntology.kif 896-896 Le nombre 3 argument de serviceFee est une instance de mesure de devise
(instance serviceFee TernaryPredicate) FinancialOntology.kif 893-893 serviceFee est une instance de pr�dicat ternaire

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 52251-52251
(termFormat ChineseTraditionalLanguage serviceFee "服務費") domainEnglishFormat.kif 52250-52250
(termFormat EnglishLanguage serviceFee "service fee") domainEnglishFormat.kif 52249-52249

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