TreeView Knowledge Base Browser

appearance as argument number 1

(domain accountNumber 1 FinancialAccount)	FinancialOntology.kif 3439-3439	Die Zahl 1 Argument von accountNumber ist ein fall von FinancialAccount %n{nicht}
(domain accountNumber 2 PositiveInteger)	FinancialOntology.kif 3440-3440	Die Zahl 2 Argument von accountNumber ist ein fall von PositiveInteger %n{nicht}
(instance accountNumber BinaryPredicate)	FinancialOntology.kif 3438-3438	accountNumber ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage accountNumber "%2 %n 是 %1 的 account 号码")	domainEnglishFormat.kif 40-40
(format ChineseTraditionalLanguage accountNumber "%2 %n 是 %1 的 account 號碼")	domainEnglishFormat.kif 39-39
(format EnglishLanguage accountNumber "%2 is %n the account number of %1")	domainEnglishFormat.kif 38-38
(termFormat ChineseLanguage accountNumber "帐号")	domainEnglishFormat.kif 5266-5266
(termFormat ChineseTraditionalLanguage accountNumber "帳號")	domainEnglishFormat.kif 5265-5265
(termFormat EnglishLanguage accountNumber "account number")	domainEnglishFormat.kif 5264-5264