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 21439-21441
(domainSubclass meatOfAnimal 1 Meat)	Mid-level-ontology.kif 21442-21442	The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 21443-21443	The number 2 argument of meat of animal is a subclass of animal
(instance meatOfAnimal BinaryPredicate)	Mid-level-ontology.kif 21438-21438	meat of animal is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage meatOfAnimal "%1 是 %2 的 meat ")	domainEnglishFormat.kif 3844-3844
(format ChineseTraditionalLanguage meatOfAnimal "%1 是 %2 的 meat ")	domainEnglishFormat.kif 3843-3843
(format EnglishLanguage meatOfAnimal "%1 is the meat of %2")	domainEnglishFormat.kif 3842-3842
(termFormat ChineseLanguage meatOfAnimal "动物的肉")	domainEnglishFormat.kif 36739-36739
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉")	domainEnglishFormat.kif 36738-36738
(termFormat EnglishLanguage meatOfAnimal "meat of animal")	domainEnglishFormat.kif 36737-36737

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

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 21458-21458	Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken)	Mid-level-ontology.kif 21462-21462	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 5165-5165	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 5170-5170	Mutton is the meat of sheep
(meatOfAnimal OctopusMeat Octopus)	Mid-level-ontology.kif 31619-31619	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 21465-21465	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 5183-5183	Veal is the meat of calf
(meatOfAnimal WaterBuffaloMeat WaterBuffalo)	Economy.kif 5186-5186	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: