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

Formal Language: 



KB Term:  Term intersection
English Word: 

  confirmationNumber

Sigma KEE - confirmationNumber
confirmationNumber

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3879-3879 The number 1 argument of confirmation number is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3880-3880 The number 2 argument of confirmation number is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3878-3878 confirmation number is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 524-524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 523-523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 522-522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16596-16596
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16595-16595
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16594-16594


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