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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LambMeat

 Sigma KEE - LambMeat
LambMeat(lamb meat)
more pictures...		cut_of_lamb, lamb, loin_of_lamb

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4953-4954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10089-10089
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11328-11328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11329-11329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11330-11330
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11331-11331
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11332-11332
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11333-11333
No TPTP formula. May not be expressible in strict first order. Economy.kif 4955-4955 Lamb meat is the meat of lamb
No TPTP formula. May not be expressible in strict first order. Economy.kif 4952-4952 Lamb meat is a subclass of meat

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33175-33175
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33174-33174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33173-33173


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