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 842-843
(domain serviceFee 1 FinancialOrganization) FinancialOntology.kif 839-839
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 840-840
(domain serviceFee 3 CurrencyMeasure) FinancialOntology.kif 841-841
(instance serviceFee TernaryPredicate) FinancialOntology.kif 838-838

appearance as argument number 2
-------------------------


(format EnglishLanguage serviceFee "%1 %n{doesn't} service fee %2 for %3") domainEnglishFormat.kif 570-570
(termFormat EnglishLanguage serviceFee "service fee") domainEnglishFormat.kif 9132-9132

antecedent
-------------------------


(=>
    (serviceFee ?Bank ?Action ?Amount)
    (exists (?Fee)
        (and
            (instance ?Fee ChargingAFee)
            (agent ?Fee ?Bank)
            (causes ?Action ?Fee)
            (amountCharged ?Fee ?Amount))))
FinancialOntology.kif 845-852


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners