| appearance as argument number 1 |
|
| (documentation overdraft EnglishLanguage "The amount by which withdrawals exceed deposits.") | FinancialOntology.kif 781-781 | |
| (domain overdraft 1 FinancialAccount) | FinancialOntology.kif 778-778 | |
| (domain overdraft 2 CurrencyMeasure) | FinancialOntology.kif 779-779 | |
| (domain overdraft 3 Day) | FinancialOntology.kif 780-780 | |
| (instance overdraft TernaryPredicate) | FinancialOntology.kif 777-777 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage overdraft "%1 %n 是 对于 %3 的 overdraft %2 ") | domainEnglishFormat.kif 1891-1891 | |
| (format ChineseTraditionalLanguage overdraft "%1 %n 是 對於 %3 的 overdraft %2 ") | domainEnglishFormat.kif 1890-1890 | |
| (format EnglishLanguage overdraft "%1 is %n overdraft %2 for %3") | domainEnglishFormat.kif 1889-1889 | |
| (termFormat ChineseLanguage overdraft "透支") | domainEnglishFormat.kif 43779-43779 | |
| (termFormat ChineseTraditionalLanguage overdraft "透支") | domainEnglishFormat.kif 43778-43778 | |
| (termFormat EnglishLanguage overdraft "overdraft") | domainEnglishFormat.kif 43777-43777 |
| consequent |
|
|
| (=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 783-788 |
|
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