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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - statementAccount
statementAccount

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4073-4074
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4071-4071 The number 1 argument of statement account is an instance of bank statement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4072-4072 The number 2 argument of statement account is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4070-4070 statement account is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2355-2355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2354-2354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2353-2353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55132-55132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55131-55131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55130-55130

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3903-3913
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4100-4105


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