TreeView Knowledge Base Browser - Shellfish

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Shellfish

Shellfish(shellfish)

limpet, shellfish

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1947-1948
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6850-6850
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7833-7833
No TPTP formula. May not be expressible in strict first order.	Food.kif 1946-1946	Shellfish is a subclass of seafood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1950-1950	Crab is a subclass of shellfish
No TPTP formula. May not be expressible in strict first order.	Food.kif 1954-1954	Crayfish is a subclass of shellfish
No TPTP formula. May not be expressible in strict first order.	Food.kif 1956-1956	Crayfish is a subclass of shellfish
No TPTP formula. May not be expressible in strict first order.	Food.kif 1959-1959	Lobster is a subclass of shellfish
No TPTP formula. May not be expressible in strict first order.	Food.kif 1963-1963	Shrimp is a subclass of shellfish
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52509-52509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52508-52508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52507-52507

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