TreeView Knowledge Base Browser - MolluskMeat

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MolluskMeat

MolluskMeat

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1983-1984
No TPTP formula. May not be expressible in strict first order.	Food.kif 1986-1986	meatOfAnimal MolluskMeat and Molusco
No TPTP formula. May not be expressible in strict first order.	Food.kif 1982-1982	MolluskMeat e' uma sub-classe de Seafood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1988-1988	AbaloneMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1991-1991	ClamMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1994-1994	ConchMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2014-2014	CuttlefishMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1997-1997	LocoMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2000-2000	MusselMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2017-2017	OctopusMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2003-2003	OysterMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2007-2007	ScallopMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2020-2020	SquidMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2011-2011	WaterSnailMeat e' uma sub-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1985-1985

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