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

Formal Language: 



KB Term:  Term intersection
English Word: 

  statementAccount

 Sigma KEE - statementAccount
statementAccount

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4055-4056
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4053-4053 Le nombre 1 argument de statementAccount est une instance de BankStatement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4054-4054 Le nombre 2 argument de statementAccount est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4052-4052 statementAccount est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2351-2351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2350-2350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2349-2349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55128-55128
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55127-55127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55126-55126

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3885-3895
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4082-4087


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