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

Formal Language: 



KB Term:  Term intersection
English Word: 

  yieldLevel

 Sigma KEE - yieldLevel
yieldLevel

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1865-1866
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1862-1862 产量水平 的 1 数量 是 金融账户 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1863-1863 产量水平 的 2 数量 是 屈服属性 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1864-1864 产量水平 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5002-5002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5001-5001
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5000-5000
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63877-63877
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63876-63876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63875-63875

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2444-2446
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2422-2424


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