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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confirmationNumber
confirmationNumber

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


(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3879-3879 Le nombre 1 argument de confirmationNumber est une instance de financial transaction
(domain confirmationNumber 2 SymbolicString) FinancialOntology.kif 3880-3880 Le nombre 2 argument de confirmationNumber est une instance de cha�ne sympbolique
(instance confirmationNumber BinaryPredicate) FinancialOntology.kif 3878-3878 confirmationNumber est une instance de pr�dicat binaire

appearance as argument number 2
-------------------------


(format ChineseLanguage confirmationNumber "%2 %n 是 %1 的 confirmation 号码") domainEnglishFormat.kif 524-524
(format ChineseTraditionalLanguage confirmationNumber "%2 %n 是 %1 的 confirmation 號碼") domainEnglishFormat.kif 523-523
(format EnglishLanguage confirmationNumber "%2 is %n a confirmation number of %1") domainEnglishFormat.kif 522-522
(termFormat ChineseLanguage confirmationNumber "确认号码") domainEnglishFormat.kif 16596-16596
(termFormat ChineseTraditionalLanguage confirmationNumber "確認號碼") domainEnglishFormat.kif 16595-16595
(termFormat EnglishLanguage confirmationNumber "confirmation number") domainEnglishFormat.kif 16594-16594


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