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 841-842
(domain serviceFee 1 FinancialOrganization) FinancialOntology.kif 838-838 The number 1 argument of service fee is an instance of financial organization
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 839-839 The number 2 argument of service fee is an instance of financial transaction
(domain serviceFee 3 CurrencyMeasure) FinancialOntology.kif 840-840 The number 3 argument of service fee is an instance of currency measure
(instance serviceFee TernaryPredicate) FinancialOntology.kif 837-837 service fee is an instance of ternary predicate

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


(format ChineseLanguage serviceFee "%1 %n 是 对于 %3 的 service 费用 %2 ") domainEnglishFormat.kif 2247-2247
(format ChineseTraditionalLanguage serviceFee "%1 %n 是 對於 %3 的 service 費用 %2 ") domainEnglishFormat.kif 2246-2246
(format EnglishLanguage serviceFee "%1 is %n service fee %2 for %3") domainEnglishFormat.kif 2245-2245
(termFormat ChineseLanguage serviceFee "服务费") domainEnglishFormat.kif 52169-52169
(termFormat ChineseTraditionalLanguage serviceFee "服務費") domainEnglishFormat.kif 52168-52168
(termFormat EnglishLanguage serviceFee "service fee") domainEnglishFormat.kif 52167-52167

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


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


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