meatOfAnimal - Sigma Knowledge base Browser

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 20608-20610
(domainSubclass meatOfAnimal 1 Meat)	Mid-level-ontology.kif 20611-20611	The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 20612-20612	The number 2 argument of meat of animal is a subclass of animal
(instance meatOfAnimal BinaryPredicate)	Mid-level-ontology.kif 20607-20607	meat of animal is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage meatOfAnimal "%1 是 %2 的 meat ")	domainEnglishFormat.kif 3840-3840
(format ChineseTraditionalLanguage meatOfAnimal "%1 是 %2 的 meat ")	domainEnglishFormat.kif 3839-3839
(format EnglishLanguage meatOfAnimal "%1 is the meat of %2")	domainEnglishFormat.kif 3838-3838
(termFormat ChineseLanguage meatOfAnimal "动物的肉")	domainEnglishFormat.kif 36747-36747
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉")	domainEnglishFormat.kif 36746-36746
(termFormat EnglishLanguage meatOfAnimal "meat of animal")	domainEnglishFormat.kif 36745-36745

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

If a kind of meat is the meat of a kind of animal and an entity is an instance of a kind of meat,
then there exist a time interval and a physical such that the physical is an instance of a kind of animal and the time interval finishes the time of existence of the physical and the entity is a part of the physical holds during the time interval

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	If an entity is an instance of a kind of meat and a kind of meat is a subclass of seafood, then there exist an organism, the entityEA and a kind of animal such that the kind of meat is the meat of a kind of animal and the organism is an instance of the kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
(=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C))))	Food.kif 2410-2415	If a corpuscular object is an instance of calamari, then there exists a kind of substance such that a kind of substance is the meat of squid and the corpuscular object is made of the kind of substance

appearance as argument number 0

(meatOfAnimal Beef Cow)	Mid-level-ontology.kif 20627-20627	Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken)	Mid-level-ontology.kif 20631-20631	Chicken meat is the meat of chicken
(meatOfAnimal CrabMeat Crab)	Food.kif 1951-1951	Crab is the meat of crab
(meatOfAnimal CrayfishMeat Crayfish)	Food.kif 1955-1955	Crayfish is the meat of crayfish
(meatOfAnimal DuckMeat Duck)	Food.kif 2039-2039	Duck is the meat of duck
(meatOfAnimal FishMeat Fish)	Food.kif 1941-1941	Fish meat is the meat of fish
(meatOfAnimal GoatMeat Goat)	Food.kif 2589-2589	Goat meat is the meat of goat
(meatOfAnimal GooseMeat Goose)	Food.kif 2043-2043	Goose is the meat of goose
(meatOfAnimal LambMeat Lamb)	Economy.kif 4955-4955	Lamb meat is the meat of lamb
(meatOfAnimal LobsterMeat Lobster)	Food.kif 1960-1960	Lobster is the meat of lobster
(meatOfAnimal MolluskMeat Mollusk)	Food.kif 1986-1986	Mollusk is the meat of mollusk
(meatOfAnimal Mutton Sheep)	Economy.kif 4960-4960	Mutton is the meat of sheep
(meatOfAnimal OctopusMeat Octopus)	Mid-level-ontology.kif 30762-30762	Octopus is the meat of octopus
(meatOfAnimal OysterMeat Oyster)	Food.kif 2004-2004	Oyster is the meat of oyster
(meatOfAnimal Pork Pig)	Mid-level-ontology.kif 20634-20634	Pork is the meat of pig
(meatOfAnimal PoultryMeat Bird)	Food.kif 2033-2033	Poultry is the meat of bird
(meatOfAnimal PrawnMeat Prawn)	Food.kif 1964-1964	Shrimp is the meat of shrimp
(meatOfAnimal QuailMeat QuailBird)	Food.kif 2054-2054	Quail is the meat of quail bird
(meatOfAnimal ScallopMeat Scallop)	Food.kif 2008-2008	Scallop is the meat of scallop
(meatOfAnimal SquidMeat Squid)	Food.kif 2021-2021	Squid is the meat of squid
(meatOfAnimal TurkeyMeat TurkeyBird)	Food.kif 2047-2047	Turkey meat is the meat of turkey bird
(meatOfAnimal Veal Calf)	Economy.kif 4973-4973	Veal is the meat of calf
(meatOfAnimal WaterBuffaloMeat WaterBuffalo)	Economy.kif 4976-4976	Water buffalo meat is the meat of water buffalo

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

KB Term:			Term intersection

English Word: