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 Le nombre 1 argument de yieldLevel est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1863-1863 Le nombre 2 argument de yieldLevel est une instance de YieldAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1864-1864 yieldLevel est une instance de pr�dicat binaire

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