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 18101-18103
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 18104-18104 The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 18105-18105 The number 2 argument of meat of animal is a subclass of animal
(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 18099-18099 meat of animal is an instance of binary predicate
(subrelation meatOfAnimal productOfAnimal) Mid-level-ontology.kif 18098-18098 meat of animal is a subrelation of productOfAnimal

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


(format EnglishLanguage meatOfAnimal "%1 is the meat of %2") domainEnglishFormat.kif 971-971
(termFormat EnglishLanguage meatOfAnimal "meat of animal") domainEnglishFormat.kif 6538-6538 "meat of animal" is the printable form of meat of animal in english language

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 18116-18125

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


(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 534-539
(=>
    (instance ?S Seafood)
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?S ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 323-330

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 18129-18129 Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 18133-18133 Chicken meat is the meat of chicken
(meatOfAnimal CrabMeat Crab) Food.kif 344-344 Crab is the meat of Crab
(meatOfAnimal CrayfishMeat Crayfish) Food.kif 348-348 Crayfish is the meat of Crayfish
(meatOfAnimal DuckMeat Duck) Food.kif 432-432 Duck is the meat of duck
(meatOfAnimal FishMeat Fish) Food.kif 334-334 Fish meat is the meat of fish
(meatOfAnimal GoatMeat Goat) Food.kif 626-626 GoatMeat is the meat of goat
(meatOfAnimal GooseMeat Goose) Food.kif 436-436 Goose is the meat of goose
(meatOfAnimal LobsterMeat Lobster) Food.kif 353-353 Lobster is the meat of Lobster
(meatOfAnimal MolluskMeat Mollusk) Food.kif 379-379 Mollusk is the meat of mollusk
(meatOfAnimal OctopusMeat Octopus) Mid-level-ontology.kif 28641-28641 Octopus is the meat of octopus
(meatOfAnimal OysterMeat Oyster) Food.kif 397-397 Oyster is the meat of Oyster
(meatOfAnimal Pork Pig) Mid-level-ontology.kif 18136-18136 Pork is the meat of pig
(meatOfAnimal PoultryMeat Bird) Food.kif 426-426 Poultry is the meat of bird
(meatOfAnimal PrawnMeat Prawn) Food.kif 357-357 Shrimp is the meat of shrimp
(meatOfAnimal QuailMeat QuailBird) Food.kif 445-445 Quail is the meat of QuailBird
(meatOfAnimal ScallopMeat Scallop) Food.kif 401-401 Scallop is the meat of Scallop
(meatOfAnimal SquidMeat Squid) Food.kif 414-414 Squid is the meat of Squid
(meatOfAnimal TurkeyMeat TurkeyBird) Food.kif 440-440 Turkey meat is the meat of TurkeyBird


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners