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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShellfishFarming

 Sigma KEE - ShellfishFarming
ShellfishFarming(shellfish farming)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 455-457
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9650-9650
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8703-8703
No TPTP formula. May not be expressible in strict first order. naics.kif 453-453 Shellfish farming is a subattribute of animal aquaculture

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52515-52515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52514-52514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52513-52513


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