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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgricultureBasedEconomy

Sigma KEE - AgricultureBasedEconomy
AgricultureBasedEconomy

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 920-920 AgricultureBasedEconomy e' uma instancia de FinancialSectorAttribute

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 922-922 SubsistenceAgricultureEconomy e' um sub-atributo de AgricultureBasedEconomy
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5988-5988
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5987-5987
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5986-5986


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