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	MolluskMeat 是 Mollusk 的 meat
No TPTP formula. May not be expressible in strict first order.	Food.kif 1982-1982	子類 MolluskMeat and 海鮮

appearance as argument number 2

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