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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meatOfAnimal
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 20350-20352
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 20353-20353 Le nombre 1 argument de meatOfAnimal est une sous-classe de viande
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 20354-20354 Le nombre 2 argument de meatOfAnimal est une sous-classe de animal
(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 20349-20349 meatOfAnimal est une instance de pr�dicat binaire

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

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


(=>
    (and
        (meatOfAnimal ?MEAT ?ANIMAL)
        (instance ?M ?MEAT))
    (exists (?TIME ?A)
        (and
            (instance ?A ?ANIMAL)
            (finishes ?TIME
                (WhenFn ?A))
            (holdsDuring ?TIME
                (part ?M ?A)))))
Mid-level-ontology.kif 20356-20365

consequent
-------------------------


(=>
    (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 ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 2410-2415

appearance as argument number 0
-------------------------


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


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