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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BankStatement
BankStatement(bank statement)bank_statement

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3883-3883
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3882-3882 Bank statement is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9840-9840
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9839-9839
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9838-9838

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4026-4026 The number 1 argument of date of statement is an instance of bank statement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3899-3899 The number 2 argument of last statement is an instance of bank statement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4053-4053 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 4077-4077 The number 1 argument of statement interest is an instance of bank statement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4059-4059 The number 1 argument of statement period is an instance of bank statement

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


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


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