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 21984-21986
(domainSubclass meatOfAnimal 1 Meat)	Mid-level-ontology.kif 21987-21987	The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 21988-21988	The number 2 argument of meat of animal is a subclass of animal
(instance meatOfAnimal BinaryPredicate)	Mid-level-ontology.kif 21983-21983	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 21990-21999

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 1934-1943	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 2417-2422	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 22003-22003	Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken)	Mid-level-ontology.kif 22007-22007	Chicken meat is the meat of chicken
(meatOfAnimal CrabMeat Crab)	Food.kif 1957-1957	Crab is the meat of crab
(meatOfAnimal CrayfishMeat Crayfish)	Food.kif 1961-1961	Crayfish is the meat of crayfish
(meatOfAnimal DuckMeat Duck)	Food.kif 2045-2045	Duck is the meat of duck
(meatOfAnimal FishMeat Fish)	Food.kif 1947-1947	Fish meat is the meat of fish
(meatOfAnimal GoatMeat Goat)	Food.kif 2596-2596	Goat meat is the meat of goat
(meatOfAnimal GooseMeat Goose)	Food.kif 2049-2049	Goose is the meat of goose
(meatOfAnimal LambMeat Lamb)	Economy.kif 5295-5295	Lamb meat is the meat of lamb
(meatOfAnimal LobsterMeat Lobster)	Food.kif 1966-1966	Lobster is the meat of lobster
(meatOfAnimal MolluskMeat Mollusk)	Food.kif 1992-1992	Mollusk is the meat of mollusk
(meatOfAnimal Mutton Sheep)	Economy.kif 5300-5300	Mutton is the meat of sheep
(meatOfAnimal OctopusMeat Octopus)	Mid-level-ontology.kif 32198-32198	Octopus is the meat of octopus
(meatOfAnimal OysterMeat Oyster)	Food.kif 2010-2010	Oyster is the meat of oyster
(meatOfAnimal Pork Pig)	Mid-level-ontology.kif 22010-22010	Pork is the meat of pig
(meatOfAnimal PoultryMeat Bird)	Food.kif 2039-2039	Poultry is the meat of bird
(meatOfAnimal PrawnMeat Prawn)	Food.kif 1970-1970	Shrimp is the meat of shrimp
(meatOfAnimal QuailMeat QuailBird)	Food.kif 2060-2060	Quail is the meat of quail bird
(meatOfAnimal ScallopMeat Scallop)	Food.kif 2014-2014	Scallop is the meat of scallop
(meatOfAnimal SquidMeat Squid)	Food.kif 2027-2027	Squid is the meat of squid
(meatOfAnimal TurkeyMeat TurkeyBird)	Food.kif 2053-2053	Turkey meat is the meat of turkey bird
(meatOfAnimal Veal Calf)	Economy.kif 5313-5313	Veal is the meat of calf
(meatOfAnimal WaterBuffaloMeat WaterBuffalo)	Economy.kif 5316-5316	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: