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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - accountNumber

appearance as argument number 1

(domain accountNumber 1 FinancialAccount) FinancialOntology.kif 3335-3335 The number 1 argument of account number is an instance of financial account
(domain accountNumber 2 PositiveInteger) FinancialOntology.kif 3336-3336 The number 2 argument of account number is an instance of positive integer
(instance accountNumber AsymmetricRelation) FinancialOntology.kif 3334-3334 account number is an instance of asymmetric relation
(instance accountNumber BinaryPredicate) FinancialOntology.kif 3333-3333 account number is an instance of binary predicate

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 5267-5267
(termFormat ChineseTraditionalLanguage accountNumber "帳號") domainEnglishFormat.kif 5266-5266
(termFormat EnglishLanguage accountNumber "account number") domainEnglishFormat.kif 5265-5265

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