TreeView Knowledge Base Browser

appearance as argument number 1

(instance meatOfAnimal BinaryPredicate)	Mid-level-ontology.kif 22588-22588	meat of animal is an instance of binary predicate
(documentation meatOfAnimal EnglishLanguage "(meatOfAnimal ?MEATCLASS ?ANIMALCLASS) means that every instance of ?MEATCLASS was once part of some instance of ?ANIMALCLASS.")	Mid-level-ontology.kif 22589-22591	meat of animal is an instance of binary predicate
(domainSubclass meatOfAnimal 1 Meat)	Mid-level-ontology.kif 22592-22592	The number 1 argument of meat of animal is a subclass of meat
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 22593-22593	The number 2 argument of meat of animal is a subclass of animal

appearance as argument number 2

(format EnglishLanguage meatOfAnimal "%1 is the meat of %2")	domainEnglishFormat.kif 3842-3842
(format ChineseTraditionalLanguage meatOfAnimal "%1 是 %2 的 meat ")	domainEnglishFormat.kif 3843-3843
(format ChineseLanguage meatOfAnimal "%1 是 %2 的 meat ")	domainEnglishFormat.kif 3844-3844
(termFormat EnglishLanguage meatOfAnimal "meat of animal")	domainEnglishFormat.kif 36713-36713
(termFormat ChineseTraditionalLanguage meatOfAnimal "動物的肉")	domainEnglishFormat.kif 36714-36714
(termFormat ChineseLanguage meatOfAnimal "动物的肉")	domainEnglishFormat.kif 36715-36715

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 22595-22604

If X is the meat of Y and Z is an instance of X, then there exist W, V such that V is an instance of Y, W finishes the time of existence of V, and Z is a part of V holds during W

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 1941-1950	If X is an instance of Y and Y is a subclass of seafood, then there exist Z, W, V such that Y is the meat of V, Z is an instance of V, W is an instance of body of water, and Z lives in W
(=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C))))	Food.kif 2429-2434	If X is an instance of calamari, then there exists Y such that Y is the meat of squid and X is made of Y

appearance as argument number 0

(meatOfAnimal Beef Cow)	Mid-level-ontology.kif 22608-22608	Beef is the meat of cow
(meatOfAnimal ChickenMeat Chicken)	Mid-level-ontology.kif 22612-22612	Chicken meat is the meat of chicken
(meatOfAnimal Pork Pig)	Mid-level-ontology.kif 22615-22615	Pork is the meat of pig
(meatOfAnimal LambMeat Lamb)	Economy.kif 5303-5303	Lamb meat is the meat of lamb
(meatOfAnimal Mutton Sheep)	Economy.kif 5308-5308	Mutton is the meat of sheep
(meatOfAnimal Veal Calf)	Economy.kif 5321-5321	Veal is the meat of calf
(meatOfAnimal WaterBuffaloMeat WaterBuffalo)	Economy.kif 5324-5324	Water buffalo meat is the meat of water buffalo
(meatOfAnimal FishMeat Fish)	Food.kif 1954-1954	Fish meat is the meat of fish
(meatOfAnimal CrabMeat Crab)	Food.kif 1964-1964	Crab is the meat of crab
(meatOfAnimal CrayfishMeat Crayfish)	Food.kif 1968-1968	Crayfish is the meat of crayfish
(meatOfAnimal LobsterMeat Lobster)	Food.kif 1973-1973	Lobster is the meat of lobster
(meatOfAnimal PrawnMeat Prawn)	Food.kif 1977-1977	Shrimp is the meat of shrimp
(meatOfAnimal MolluskMeat Mollusk)	Food.kif 1999-1999	Mollusk is the meat of mollusk
(meatOfAnimal OysterMeat Oyster)	Food.kif 2017-2017	Oyster is the meat of oyster
(meatOfAnimal ScallopMeat Scallop)	Food.kif 2021-2021	Scallop is the meat of scallop
(meatOfAnimal OctopusMeat Octopus)	Food.kif 2031-2031	Octopus is the meat of octopus
(meatOfAnimal SquidMeat Squid)	Food.kif 2035-2035	Squid is the meat of squid
(meatOfAnimal PoultryMeat Bird)	Food.kif 2047-2047	Poultry is the meat of bird
(meatOfAnimal DuckMeat Duck)	Food.kif 2053-2053	Duck is the meat of duck
(meatOfAnimal GooseMeat Goose)	Food.kif 2057-2057	Goose is the meat of goose
(meatOfAnimal TurkeyMeat TurkeyBird)	Food.kif 2061-2061	Turkey meat is the meat of turkey bird
(meatOfAnimal QuailMeat QuailBird)	Food.kif 2068-2068	Quail is the meat of quail bird
(meatOfAnimal GoatMeat Goat)	Food.kif 2613-2613	Goat meat is the meat of goat

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: