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 18128-18130
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 18131-18131 The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 18132-18132 The number 2 argument of meat of animal is a subclass of animal
(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 18126-18126 meat of animal is an instance of binary predicate
(subrelation meatOfAnimal productOfAnimal) Mid-level-ontology.kif 18125-18125 meat of animal is a subrelation of productOfAnimal

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


(format ChineseLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3847-3847
(format ChineseTraditionalLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3846-3846
(format EnglishLanguage meatOfAnimal "%1 is the meat of %2") domainEnglishFormat.kif 3845-3845
(termFormat ChineseLanguage meatOfAnimal "动物的肉") domainEnglishFormat.kif 36628-36628
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉") domainEnglishFormat.kif 36627-36627
(termFormat EnglishLanguage meatOfAnimal "meat of animal") domainEnglishFormat.kif 36626-36626

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 18143-18152

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


(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 274-283
(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 489-494

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 18156-18156 Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 18160-18160 Chicken meat is the meat of chicken
(meatOfAnimal CrabMeat Crab) Food.kif 297-297 Crab is the meat of Crab
(meatOfAnimal CrayfishMeat Crayfish) Food.kif 301-301 Crayfish is the meat of crayfish
(meatOfAnimal DuckMeat Duck) Food.kif 385-385 Duck is the meat of duck
(meatOfAnimal FishMeat Fish) Food.kif 287-287 Fish meat is the meat of fish
(meatOfAnimal GoatMeat Goat) Food.kif 581-581 GoatMeat is the meat of goat
(meatOfAnimal GooseMeat Goose) Food.kif 389-389 Goose is the meat of goose
(meatOfAnimal LobsterMeat Lobster) Food.kif 306-306 Lobster is the meat of Lobster
(meatOfAnimal MolluskMeat Mollusk) Food.kif 332-332 Mollusk is the meat of mollusk
(meatOfAnimal OctopusMeat Octopus) Mid-level-ontology.kif 28674-28674 Octopus is the meat of octopus
(meatOfAnimal OysterMeat Oyster) Food.kif 350-350 Oyster is the meat of Oyster
(meatOfAnimal Pork Pig) Mid-level-ontology.kif 18163-18163 Pork is the meat of pig
(meatOfAnimal PoultryMeat Bird) Food.kif 379-379 Poultry is the meat of bird
(meatOfAnimal PrawnMeat Prawn) Food.kif 310-310 Shrimp is the meat of shrimp
(meatOfAnimal QuailMeat QuailBird) Food.kif 400-400 Quail is the meat of QuailBird
(meatOfAnimal ScallopMeat Scallop) Food.kif 354-354 Scallop is the meat of Scallop
(meatOfAnimal SquidMeat Squid) Food.kif 367-367 Squid is the meat of Squid
(meatOfAnimal TurkeyMeat TurkeyBird) Food.kif 393-393 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 3.0 is open source software produced by Articulate Software and its partners