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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BankStatement
BankStatement(银行对帐单)

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 银行对帐单命题subclass

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 声明日期 的 1 数量 是 银行对帐单instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3899-3899 最后声明 的 2 数量 是 银行对帐单instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4053-4053 声明帐户 的 1 数量 是 银行对帐单instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4077-4077 声明利益 的 1 数量 是 银行对帐单instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4059-4059 声明期 的 1 数量 是 银行对帐单instance

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