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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RyeFarming

 Sigma KEE - RyeFarming
RyeFarming(rye farming)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8691-8691
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9614-9614
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9615-9615
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9616-9616
No TPTP formula. May not be expressible in strict first order. Economy.kif 6179-6179 Rye grain is an industry product type of rye farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6176-6176 Rye farming is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6177-6177 Rye farming is a subattribute of cereal grain farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6178-6178 Rye farming is a subattribute of other grain farming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50709-50709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50708-50708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50707-50707


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