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(海鮮)

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	子類海鮮 and Meat

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1939-1939	子類魚肉 and 海鮮
No TPTP formula. May not be expressible in strict first order.	Food.kif 1982-1982	子類 MolluskMeat and 海鮮
No TPTP formula. May not be expressible in strict first order.	Food.kif 1946-1946	子類貝類 and 海鮮
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	例 Entity and Meat 子類 Meat and 海鮮 Organism EntityEA and Animal Meat 是 Animal 的 meat 例 Organism and Animal 例 EntityEA and 水體棲息 Organism and EntityEA
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	例 Object and 海鮮 Object OrganicObject 例 Object and 一個 dead OrganicObject 部分 Object and Object 子類 OrganicObject and 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