Seafood - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Seafood

Seafood(seafood)

coquille, freshwater_fish, seafood, seafood_Newburg

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1922-1923
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 936-936
No TPTP formula. May not be expressible in strict first order.	Food.kif 1921-1921	Seafood is a subclass of meat

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1939-1939	Fish meat is a subclass of seafood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1982-1982	Mollusk is a subclass of seafood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1946-1946	Shellfish is a subclass of seafood
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51663-51663
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51662-51662
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51661-51661

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	If an entity is an instance of a kind of meat and a kind of meat is a subclass of seafood, then there exist an organism, the entityEA and a kind of animal such that the kind of meat is the meat of a kind of animal and the organism is an instance of the kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	If an object is an instance of seafood, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of fish

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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