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
-------------------------


(documentation Seafood EnglishLanguage "Seafood refers to Meat from Animal that inhabit BodiesOfWater") Food.kif 1922-1923
(externalImage Seafood "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7f/ Mariscada.jpg/ 800px-Mariscada.jpg") pictureList.kif 936-936
(subclass Seafood Meat) Food.kif 1921-1921 子類 海鮮 and Meat

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


(subclass FishMeat Seafood) Food.kif 1939-1939 子類 魚肉 and 海鮮
(subclass MolluskMeat Seafood) Food.kif 1982-1982 子類 MolluskMeat and 海鮮
(subclass Shellfish Seafood) Food.kif 1946-1946 子類 貝類 and 海鮮
(termFormat ChineseLanguage Seafood "海鲜") domainEnglishFormat.kif 51663-51663
(termFormat ChineseTraditionalLanguage Seafood "海鮮") domainEnglishFormat.kif 51662-51662
(termFormat EnglishLanguage Seafood "seafood") domainEnglishFormat.kif 51661-51661

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


(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA ?ANIMAL)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 1928-1937
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 3377-3383


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