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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StrawberryFarming
StrawberryFarming(strawberry farming)
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 Strawberry farming is a subattribute of noncitrus fruit and tree nut farming

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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