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 mollusque
No TPTP formula. May not be expressible in strict first order.	Food.kif 1982-1982	MolluskMeat est une sous-classe de Seafood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1988-1988	AbaloneMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1991-1991	ClamMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1994-1994	ConchMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2014-2014	CuttlefishMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1997-1997	LocoMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2000-2000	MusselMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2017-2017	OctopusMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2003-2003	OysterMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2007-2007	ScallopMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2020-2020	SquidMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2011-2011	WaterSnailMeat est une sous-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