Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| confirmationNumber |
| appearance as argument number 1 |
|
| (instance confirmationNumber BinaryPredicate) | FinancialOntology.kif 3936-3936 | confirmation number is an instance of binary predicate |
| (domain confirmationNumber 1 FinancialTransaction) | FinancialOntology.kif 3937-3937 | The number 1 argument of confirmation number is an instance of financial transaction |
| (domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3938-3938 | The number 2 argument of confirmation number is an instance of symbolic string |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage confirmationNumber "%2 is %n a confirmation number of %1") | domainEnglishFormat.kif 522-522 | |
| (format ChineseTraditionalLanguage confirmationNumber "%2 %n 是 %1 的 confirmation 號碼") | domainEnglishFormat.kif 523-523 | |
| (format ChineseLanguage confirmationNumber "%2 %n 是 %1 的 confirmation 号码") | domainEnglishFormat.kif 524-524 | |
| (termFormat EnglishLanguage confirmationNumber "confirmation number") | domainEnglishFormat.kif 16596-16596 | |
| (termFormat ChineseTraditionalLanguage confirmationNumber "確認號碼") | domainEnglishFormat.kif 16597-16597 | |
| (termFormat ChineseLanguage confirmationNumber "确认号码") | domainEnglishFormat.kif 16598-16598 |
|