Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Seafood
coquille, freshwater_fish, seafood, seafood_Newburg

appearance as argument number 1

(documentation Seafood EnglishLanguage "Seafood refers to Meat from Animal that inhabit BodiesOfWater") Food.kif 268-269
(externalImage Seafood " 7/ 7f/ Mariscada.jpg/ 800px-Mariscada.jpg") pictureList.kif 937-937
(subclass Seafood Meat) Food.kif 267-267 Seafood is a subclass of meat

appearance as argument number 2

(subclass FishMeat Seafood) Food.kif 285-285 Fish meat is a subclass of seafood
(subclass MolluskMeat Seafood) Food.kif 328-328 Mollusk is a subclass of seafood
(subclass Shellfish Seafood) Food.kif 292-292 Shellfish is a subclass of seafood
(termFormat ChineseLanguage Seafood "海鲜") domainEnglishFormat.kif 51591-51591
(termFormat ChineseTraditionalLanguage Seafood "海鮮") domainEnglishFormat.kif 51590-51590
(termFormat EnglishLanguage Seafood "seafood") domainEnglishFormat.kif 51589-51589


        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA)
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 274-283
    (instance ?S Seafood)
    (exists (?DA ?F)
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 819-825

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