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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TraditionalSavingsAccount
TraditionalSavingsAccount(traditional savings account)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1101-1102
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10310-10310
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12033-12033
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12032-12032
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12031-12031
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1100-1100 Traditional savings account is a subclass of savings account

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58715-58715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58714-58714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58713-58713

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1114-1123
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1104-1106
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1108-1112


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