Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - meatOfAnimal
meatOfAnimal

appearance as argument number 1
-------------------------


(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 22588-22588 meat of animal is an instance of binary predicate
(documentation meatOfAnimal EnglishLanguage "(meatOfAnimal ?MEATCLASS ?ANIMALCLASS) means that every instance of ?MEATCLASS was once part of some instance of ?ANIMALCLASS.") Mid-level-ontology.kif 22589-22591 meat of animal is an instance of binary predicate
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 22592-22592 The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 22593-22593 The number 2 argument of meat of animal is a subclass of animal

appearance as argument number 2
-------------------------


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

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 22595-22604 If X is the meat of Y and Z is an instance of X, then there exist W, V such that V is an instance of Y, W finishes the time of existence of V, and Z is a part of V holds during W

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 1941-1950 If X is an instance of Y and Y is a subclass of seafood, then there exist Z, W, V such that Y is the meat of V, Z is an instance of V, W is an instance of body of water, and Z lives in W
(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))		 Food.kif 2429-2434 If X is an instance of calamari, then there exists Y such that Y is the meat of squid and X is made of Y

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 22608-22608 Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 22612-22612 Chicken meat is the meat of chicken
(meatOfAnimal Pork Pig) Mid-level-ontology.kif 22615-22615 Pork is the meat of pig
(meatOfAnimal LambMeat Lamb) Economy.kif 5303-5303 Lamb meat is the meat of lamb
(meatOfAnimal Mutton Sheep) Economy.kif 5308-5308 Mutton is the meat of sheep
(meatOfAnimal Veal Calf) Economy.kif 5321-5321 Veal is the meat of calf
(meatOfAnimal WaterBuffaloMeat WaterBuffalo) Economy.kif 5324-5324 Water buffalo meat is the meat of water buffalo
(meatOfAnimal FishMeat Fish) Food.kif 1954-1954 Fish meat is the meat of fish
(meatOfAnimal CrabMeat Crab) Food.kif 1964-1964 Crab is the meat of crab
(meatOfAnimal CrayfishMeat Crayfish) Food.kif 1968-1968 Crayfish is the meat of crayfish
(meatOfAnimal LobsterMeat Lobster) Food.kif 1973-1973 Lobster is the meat of lobster
(meatOfAnimal PrawnMeat Prawn) Food.kif 1977-1977 Shrimp is the meat of shrimp
(meatOfAnimal MolluskMeat Mollusk) Food.kif 1999-1999 Mollusk is the meat of mollusk
(meatOfAnimal OysterMeat Oyster) Food.kif 2017-2017 Oyster is the meat of oyster
(meatOfAnimal ScallopMeat Scallop) Food.kif 2021-2021 Scallop is the meat of scallop
(meatOfAnimal OctopusMeat Octopus) Food.kif 2031-2031 Octopus is the meat of octopus
(meatOfAnimal SquidMeat Squid) Food.kif 2035-2035 Squid is the meat of squid
(meatOfAnimal PoultryMeat Bird) Food.kif 2047-2047 Poultry is the meat of bird
(meatOfAnimal DuckMeat Duck) Food.kif 2053-2053 Duck is the meat of duck
(meatOfAnimal GooseMeat Goose) Food.kif 2057-2057 Goose is the meat of goose
(meatOfAnimal TurkeyMeat TurkeyBird) Food.kif 2061-2061 Turkey meat is the meat of turkey bird
(meatOfAnimal QuailMeat QuailBird) Food.kif 2068-2068 Quail is the meat of quail bird
(meatOfAnimal GoatMeat Goat) Food.kif 2613-2613 Goat meat is the meat of goat


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners