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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SlashAndBurnAgriculture

 Sigma KEE - SlashAndBurnAgriculture
SlashAndBurnAgriculture(slash and burn agriculture)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2931-2936
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11873-11873
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11872-11872
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11874-11874
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11871-11871
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10262-10262
No TPTP formula. May not be expressible in strict first order. Geography.kif 2929-2929 Slash and burn agriculture is a subclass of agriculture

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53360-53360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53359-53359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53358-53358


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