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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - meatOfAnimal

appearance as argument number 1

(documentation meatOfAnimal EnglishLanguage "(meatOfAnimal ?MEATCLASS ?ANIMALCLASS) means that every instance of ?MEATCLASS was once part of some instance of ?ANIMALCLASS.") Mid-level-ontology.kif 20349-20351
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 20352-20352
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 20353-20353
(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 20348-20348

appearance as argument number 2

(format ChineseLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3846-3846
(format ChineseTraditionalLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3845-3845
(format EnglishLanguage meatOfAnimal "%1 is the meat of %2") domainEnglishFormat.kif 3844-3844
(termFormat ChineseLanguage meatOfAnimal "动物的肉") domainEnglishFormat.kif 36713-36713
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉") domainEnglishFormat.kif 36712-36712
(termFormat EnglishLanguage meatOfAnimal "meat of animal") domainEnglishFormat.kif 36711-36711


        (meatOfAnimal ?MEAT ?ANIMAL)
        (instance ?M ?MEAT))
    (exists (?TIME ?A)
            (instance ?A ?ANIMAL)
            (finishes ?TIME
                (WhenFn ?A))
            (holdsDuring ?TIME
                (part ?M ?A)))))
Mid-level-ontology.kif 20355-20364


        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA ?ANIMAL)
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 1928-1937
    (instance ?C Calamari)
    (exists (?S)
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 2410-2415

appearance as argument number 0

(meatOfAnimal Beef Cow) Mid-level-ontology.kif 20368-20368
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 20372-20372
(meatOfAnimal CrabMeat Crab) Food.kif 1951-1951
(meatOfAnimal CrayfishMeat Crayfish) Food.kif 1955-1955
(meatOfAnimal DuckMeat Duck) Food.kif 2039-2039
(meatOfAnimal FishMeat Fish) Food.kif 1941-1941
(meatOfAnimal GoatMeat Goat) Food.kif 2589-2589
(meatOfAnimal GooseMeat Goose) Food.kif 2043-2043
(meatOfAnimal LambMeat Lamb) Economy.kif 4955-4955
(meatOfAnimal LobsterMeat Lobster) Food.kif 1960-1960
(meatOfAnimal MolluskMeat Mollusk) Food.kif 1986-1986
(meatOfAnimal Mutton Sheep) Economy.kif 4960-4960
(meatOfAnimal OctopusMeat Octopus) Mid-level-ontology.kif 30493-30493
(meatOfAnimal OysterMeat Oyster) Food.kif 2004-2004
(meatOfAnimal Pork Pig) Mid-level-ontology.kif 20375-20375
(meatOfAnimal PoultryMeat Bird) Food.kif 2033-2033
(meatOfAnimal PrawnMeat Prawn) Food.kif 1964-1964
(meatOfAnimal QuailMeat QuailBird) Food.kif 2054-2054
(meatOfAnimal ScallopMeat Scallop) Food.kif 2008-2008
(meatOfAnimal SquidMeat Squid) Food.kif 2021-2021
(meatOfAnimal TurkeyMeat TurkeyBird) Food.kif 2047-2047
(meatOfAnimal Veal Calf) Economy.kif 4973-4973
(meatOfAnimal WaterBuffaloMeat WaterBuffalo) Economy.kif 4976-4976

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