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 18997-18999
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 19000-19000
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 19001-19001
(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 18995-18995
(subrelation meatOfAnimal productOfAnimal) Mid-level-ontology.kif 18994-18994

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


(format ChineseLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3851-3851
(format ChineseTraditionalLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3850-3850
(format EnglishLanguage meatOfAnimal "%1 is the meat of %2") domainEnglishFormat.kif 3849-3849
(termFormat ChineseLanguage meatOfAnimal "动物的肉") domainEnglishFormat.kif 36696-36696
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉") domainEnglishFormat.kif 36695-36695
(termFormat EnglishLanguage meatOfAnimal "meat of animal") domainEnglishFormat.kif 36694-36694

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 19012-19021

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 19025-19025
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 19029-19029
(meatOfAnimal CrabMeat Crab) Food.kif 297-297
(meatOfAnimal CrayfishMeat Crayfish) Food.kif 301-301
(meatOfAnimal DuckMeat Duck) Food.kif 385-385
(meatOfAnimal FishMeat Fish) Food.kif 287-287
(meatOfAnimal GoatMeat Goat) Food.kif 581-581
(meatOfAnimal GooseMeat Goose) Food.kif 389-389
(meatOfAnimal LobsterMeat Lobster) Food.kif 306-306
(meatOfAnimal MolluskMeat Mollusk) Food.kif 332-332
(meatOfAnimal OctopusMeat Octopus) Mid-level-ontology.kif 29203-29203
(meatOfAnimal OysterMeat Oyster) Food.kif 350-350
(meatOfAnimal Pork Pig) Mid-level-ontology.kif 19032-19032
(meatOfAnimal PoultryMeat Bird) Food.kif 379-379
(meatOfAnimal PrawnMeat Prawn) Food.kif 310-310
(meatOfAnimal QuailMeat QuailBird) Food.kif 400-400
(meatOfAnimal ScallopMeat Scallop) Food.kif 354-354
(meatOfAnimal SquidMeat Squid) Food.kif 367-367
(meatOfAnimal TurkeyMeat TurkeyBird) Food.kif 393-393


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