amountDue |
appearance as argument number 1 |
(documentation amountDue EnglishLanguage "(amountDue ?ACCOUNT ?AMOUNT ?DATE) means ?DATE is the date on which the amount of Money ?AMOUNT of a particular ?ACCOUNT is due and payable") | FinancialOntology.kif 652-653 | |
(domain amountDue 1 FinancialAccount) | FinancialOntology.kif 649-649 | O argumento numero 1 de amountDue e' uma instancia de FinancialAccount |
(domain amountDue 2 CurrencyMeasure) | FinancialOntology.kif 650-650 | O argumento numero 2 de amountDue e' uma instancia de Medida de Divisa |
(domain amountDue 3 TimePosition) | FinancialOntology.kif 651-651 | O argumento numero 3 de amountDue e' uma instancia de Posicao Temporal |
(instance amountDue TernaryPredicate) | FinancialOntology.kif 648-648 | amountDue e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
(format ChineseLanguage amountDue "%1 %n{不是} 对于 %3 到期的 amount %2") | domainEnglishFormat.kif 136-136 | |
(format ChineseTraditionalLanguage amountDue "%1 %n{不是} 對於 %3 到期的 amount %2 ") | domainEnglishFormat.kif 135-135 | |
(format EnglishLanguage amountDue "%1 %n{doesn't} amount due %2 for %3") | domainEnglishFormat.kif 134-134 | |
(termFormat ChineseLanguage amountDue "到期金额") | domainEnglishFormat.kif 7260-7260 | |
(termFormat ChineseTraditionalLanguage amountDue "到期金額") | domainEnglishFormat.kif 7259-7259 | |
(termFormat EnglishLanguage amountDue "amount due") | domainEnglishFormat.kif 7258-7258 |
antecedent |
consequent |