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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PrawnMeat
PrawnMeat(shrimp)prawn, river_prawn, shrimp

appearance as argument number 1

(meatOfAnimal PrawnMeat Prawn) Food.kif 292-292 Shrimp is the meat of shrimp
(subclass PrawnMeat Shellfish) Food.kif 291-291 Shrimp is a subclass of shellfish

appearance as argument number 2

(termFormat EnglishLanguage PrawnMeat "prawn") Food.kif 293-293
(termFormat EnglishLanguage PrawnMeat "shrimp") Food.kif 294-294

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