| 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 | The number 1 argument of service fee is an instance of financial organization |
| (domain serviceFee 2 FinancialTransaction) | FinancialOntology.kif 895-895 | The number 2 argument of service fee is an instance of financial transaction |
| (domain serviceFee 3 CurrencyMeasure) | FinancialOntology.kif 896-896 | The number 3 argument of service fee is an instance of currency measure |
| (instance serviceFee TernaryPredicate) | FinancialOntology.kif 893-893 | service fee is an instance of ternary predicate |
| 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 52291-52291 | |
| (termFormat ChineseTraditionalLanguage serviceFee "服務費") | domainEnglishFormat.kif 52290-52290 | |
| (termFormat EnglishLanguage serviceFee "service fee") | domainEnglishFormat.kif 52289-52289 |
| 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