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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LumberArtery

 Sigma KEE - RyeFarming
RyeFarming

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 industryProductType RyeFarming and RyeGrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 6176-6176 RyeFarming est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6177-6177 RyeFarming est un sous-attribut de CerealGrainFarming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6178-6178 RyeFarming est un sous-attribut de OtherGrainFarming

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


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


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