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 21967-21969
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 21970-21970
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 21971-21971
(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 21966-21966

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 36722-36722
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉") domainEnglishFormat.kif 36721-36721
(termFormat EnglishLanguage meatOfAnimal "meat of animal") domainEnglishFormat.kif 36720-36720

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 21973-21982

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
(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 2417-2422

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 21986-21986
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 21990-21990
(meatOfAnimal CrabMeat Crab) Food.kif 1957-1957
(meatOfAnimal CrayfishMeat Crayfish) Food.kif 1961-1961
(meatOfAnimal DuckMeat Duck) Food.kif 2045-2045
(meatOfAnimal FishMeat Fish) Food.kif 1947-1947
(meatOfAnimal GoatMeat Goat) Food.kif 2596-2596
(meatOfAnimal GooseMeat Goose) Food.kif 2049-2049
(meatOfAnimal LambMeat Lamb) Economy.kif 5295-5295
(meatOfAnimal LobsterMeat Lobster) Food.kif 1966-1966
(meatOfAnimal MolluskMeat Mollusk) Food.kif 1992-1992
(meatOfAnimal Mutton Sheep) Economy.kif 5300-5300
(meatOfAnimal OctopusMeat Octopus) Mid-level-ontology.kif 32439-32439
(meatOfAnimal OysterMeat Oyster) Food.kif 2010-2010
(meatOfAnimal Pork Pig) Mid-level-ontology.kif 21993-21993
(meatOfAnimal PoultryMeat Bird) Food.kif 2039-2039
(meatOfAnimal PrawnMeat Prawn) Food.kif 1970-1970
(meatOfAnimal QuailMeat QuailBird) Food.kif 2060-2060
(meatOfAnimal ScallopMeat Scallop) Food.kif 2014-2014
(meatOfAnimal SquidMeat Squid) Food.kif 2027-2027
(meatOfAnimal TurkeyMeat TurkeyBird) Food.kif 2053-2053
(meatOfAnimal Veal Calf) Economy.kif 5313-5313
(meatOfAnimal WaterBuffaloMeat WaterBuffalo) Economy.kif 5316-5316


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