Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  accountNumber

Sigma KEE - accountNumber
accountNumber

appearance as argument number 1
-------------------------


(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3439-3439 accountNumber の数値 1 引数は FinancialAccountinstance では %n
(domain accountNumber 2 PositiveInteger) FinancialOntology.kif 3440-3440 accountNumber の数値 2 引数は 正の整数instance では %n
(instance accountNumber BinaryPredicate) FinancialOntology.kif 3438-3438 accountNumber2進述語instance では %n

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 5262-5262
(termFormat ChineseTraditionalLanguage accountNumber "帳號") domainEnglishFormat.kif 5261-5261
(termFormat EnglishLanguage accountNumber "account number") domainEnglishFormat.kif 5260-5260


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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