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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DepositAccount
DepositAccount(存款账户)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1025-1026
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1024-1024 存款账户 是 金融账户 的 subclass

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1126-1126 支票账户 是 存款账户 的 subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1144-1144 投资账户 是 存款账户 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19146-19146
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19145-19145
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19144-19144

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 203-211


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