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 20377-20379
(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 20380-20380 The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal) Mid-level-ontology.kif 20381-20381 The number 2 argument of meat of animal is a subclass of animal
(instance meatOfAnimal BinaryPredicate) Mid-level-ontology.kif 20376-20376 meat of animal is an instance of binary predicate

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


(format ChineseLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3846-3846
(format ChineseTraditionalLanguage meatOfAnimal "%1 是 %2 的 meat ") domainEnglishFormat.kif 3845-3845
(format EnglishLanguage meatOfAnimal "%1 is the meat of %2") domainEnglishFormat.kif 3844-3844
(termFormat ChineseLanguage meatOfAnimal "动物的肉") domainEnglishFormat.kif 36713-36713
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉") domainEnglishFormat.kif 36712-36712
(termFormat EnglishLanguage meatOfAnimal "meat of animal") domainEnglishFormat.kif 36711-36711

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 20383-20392

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

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 20396-20396 Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken) Mid-level-ontology.kif 20400-20400 Chicken meat is the meat of chicken
(meatOfAnimal CrabMeat Crab) Food.kif 1951-1951 Crab is the meat of crab
(meatOfAnimal CrayfishMeat Crayfish) Food.kif 1955-1955 Crayfish is the meat of crayfish
(meatOfAnimal DuckMeat Duck) Food.kif 2039-2039 Duck is the meat of duck
(meatOfAnimal FishMeat Fish) Food.kif 1941-1941 Fish meat is the meat of fish
(meatOfAnimal GoatMeat Goat) Food.kif 2589-2589 Goat meat is the meat of goat
(meatOfAnimal GooseMeat Goose) Food.kif 2043-2043 Goose is the meat of goose
(meatOfAnimal LambMeat Lamb) Economy.kif 4955-4955 Lamb meat is the meat of lamb
(meatOfAnimal LobsterMeat Lobster) Food.kif 1960-1960 Lobster is the meat of lobster
(meatOfAnimal MolluskMeat Mollusk) Food.kif 1986-1986 Mollusk is the meat of mollusk
(meatOfAnimal Mutton Sheep) Economy.kif 4960-4960 Mutton is the meat of sheep
(meatOfAnimal OctopusMeat Octopus) Mid-level-ontology.kif 30529-30529 Octopus is the meat of octopus
(meatOfAnimal OysterMeat Oyster) Food.kif 2004-2004 Oyster is the meat of oyster
(meatOfAnimal Pork Pig) Mid-level-ontology.kif 20403-20403 Pork is the meat of pig
(meatOfAnimal PoultryMeat Bird) Food.kif 2033-2033 Poultry is the meat of bird
(meatOfAnimal PrawnMeat Prawn) Food.kif 1964-1964 Shrimp is the meat of shrimp
(meatOfAnimal QuailMeat QuailBird) Food.kif 2054-2054 Quail is the meat of quail bird
(meatOfAnimal ScallopMeat Scallop) Food.kif 2008-2008 Scallop is the meat of scallop
(meatOfAnimal SquidMeat Squid) Food.kif 2021-2021 Squid is the meat of squid
(meatOfAnimal TurkeyMeat TurkeyBird) Food.kif 2047-2047 Turkey meat is the meat of turkey bird
(meatOfAnimal Veal Calf) Economy.kif 4973-4973 Veal is the meat of calf
(meatOfAnimal WaterBuffaloMeat WaterBuffalo) Economy.kif 4976-4976 Water buffalo meat is the meat of water buffalo


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