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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StrawberryFarming

 Sigma KEE - StrawberryFarming
StrawberryFarming
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 201-203
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8738-8738
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9694-9694
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9695-9695
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9696-9696
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9697-9697
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9698-9698
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9699-9699
No TPTP formula. May not be expressible in strict first order. naics.kif 199-199 StrawberryFarming e' um sub-atributo de NoncitrusFruitAndTreeNutFarming

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55568-55568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55567-55567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55566-55566


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