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

Formal Language: 



KB Term:  Term intersection
English Word: 

  statementInterest

 Sigma KEE - statementInterest
statementInterest

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4079-4080
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 4078-4078 声明利益 的 2 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4076-4076 声明利益 是 二元谓语 的 instance

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 55134-55134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55133-55133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55132-55132

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4082-4087


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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