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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeatMarkets

 Sigma KEE - MeatMarkets
MeatMarkets(meat markets)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7363-7366
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9413-9413
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9417-9417
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9411-9411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9415-9415
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9414-9414
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9416-9416
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9412-9412
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8591-8591
No TPTP formula. May not be expressible in strict first order. naics.kif 7361-7361 Meat markets is a subattribute of specialty food stores

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36707-36707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36706-36706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36705-36705


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