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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Seafood

Sigma KEE - Seafood
Seafood(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 250-251
(externalImage Seafood "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7f/ Mariscada.jpg/ 800px-Mariscada.jpg") pictureList.kif 937-937
(subclass Seafood Meat) Food.kif 249-249 Seafood is a subclass of meat

appearance as argument number 2
-------------------------


(subclass FishMeat Seafood) Food.kif 267-267 Fish meat is a subclass of seafood
(subclass MolluskMeat Seafood) Food.kif 310-310 Mollusk is a subclass of seafood
(subclass Shellfish Seafood) Food.kif 274-274 Shellfish is a subclass of seafood
(termFormat ChineseLanguage Seafood "海鲜") domainEnglishFormat.kif 51646-51646
(termFormat ChineseTraditionalLanguage Seafood "海鮮") domainEnglishFormat.kif 51645-51645
(termFormat EnglishLanguage Seafood "seafood") domainEnglishFormat.kif 51644-51644

antecedent
-------------------------


(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 256-265
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 804-810


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