antecedent

(=>     (and         (equal ?AF             (OrganicObjectFn ?F))         (subclass ?AF AnimalFat)         (subclass ?F FatTissue))     (initialPart ?F Animal))	Food.kif 2883-2889	If equal an object and Object made from another kind of object and the object is a subclass of animal fat and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a animal
(=>     (and         (equal ?B             (OrganicObjectFn ?P))         (subclass ?B CoffeeBean)         (subclass ?P Seed))     (initialPart ?P CoffeePlant))	Economy.kif 4962-4967	If equal an object and Object made from another kind of object and the object is a subclass of coffee bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a coffee plant
(=>     (and         (equal ?C             (OrganicObjectFn ?S))         (subclass ?C CocoaBean)         (subclass ?S Seed))     (initialPart ?S CocoaTree))	Economy.kif 5026-5032	If equal an object and Object made from another kind of object and the object is a subclass of cocoa bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a cocoa tree
(=>     (and         (equal ?M             (OrganicObjectFn ?A))         (subclass ?M Meat))     (subclass ?A Animal))	Economy.kif 5280-5285	If equal an object and Object made from a kind of organic object and the object is a subclass of meat, then a kind of organic object is a subclass of animal
(=>     (and         (equal ?M             (OrganicObjectFn ?G))         (subclass ?M Malt)         (subclass ?G CerealGrain))     (initialPart ?G CerealGrass))	Economy.kif 4498-4504	If equal an object and Object made from another kind of object and the object is a subclass of malt and another kind of object is a subclass of cereal grain, then every the other kind of object is initially part of a cereal grass plant
(=>     (and         (equal ?O             (OrganicObjectFn ?S))         (subclass ?O OilFromPlant)         (or             (subclass ?S Seed)             (subclass ?S Fruit)))     (exists (?P)         (and             (subclass ?P FloweringPlant)             (initialPart ?S ?P))))	Economy.kif 4865-4876	If equal an object and Object made from another kind of object and the object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (exists (?R ?O)         (and             (instance ?R                 (DeadFn ?ORG))             (part ?R ?O)             (instance ?O ?ORG))))	Economy.kif 5603-5612	If equal an object and Object made from a kind of organic object and the object is a subclass of object, then there exist another object and a third object such that the other object is an instance of a dead a kind of organic object and the other object is a part of the third object and the third object is an instance of the kind of organic object
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (or         (subclass ?ORG Organism)         (subclass ?ORG AnatomicalStructure)))	Economy.kif 5594-5601	If equal an object and Object made from a kind of organic object and the object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
(=>     (and         (equal ?P             (OrganicObjectFn ?S))         (subclass ?P Pelt))     (subclass ?S Skin))	Economy.kif 5368-5372	If equal an object and Object made from a kind of organic object and the object is a subclass of pelt, then a kind of organic object is a subclass of skin
(=>     (and         (equal ?S             (OrganicObjectFn ?F))         (subclass ?S Suet)         (subclass ?F FatTissue))     (or         (initialPart ?F Cattle)         (initialPart ?F Sheep)))	Food.kif 2913-2921	If equal an object and Object made from another kind of object and the object is a subclass of suet and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a cattle or every the other kind of object is initially part of a sheep
(=>     (and         (equal ?S             (OrganicObjectFn ?O))         (subclass ?S Lambskin)         (subclass ?O Skin))     (initialPart ?O Lamb))	Economy.kif 5377-5382	If equal an object and Object made from another kind of object and the object is a subclass of lambskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a lamb
(=>     (and         (equal ?S             (OrganicObjectFn ?O))         (subclass ?S Sheepskin)         (subclass ?O Skin))     (initialPart ?O Sheep))	Economy.kif 5387-5392	If equal an object and Object made from another kind of object and the object is a subclass of sheepskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a sheep
(=>     (and         (equal ?T             (OrganicObjectFn ?S))         (subclass ?T TeaPlantAerialPart)         (subclass ?S PlantStem))     (initialPart ?S TeaPlant))	Economy.kif 5048-5054	If equal an object and Object made from another kind of object and the object is a subclass of tea plant aerial part and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a tea plant
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W BalsaWood)         (subclass ?S PlantStem))     (initialPart ?S BalsaTree))	Economy.kif 5632-5637	If equal an object and Object made from another kind of object and the object is a subclass of Balsa wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Balsa tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W BeechWood)         (subclass ?S PlantStem))     (initialPart ?S BeechTree))	Economy.kif 5642-5647	If equal an object and Object made from another kind of object and the object is a subclass of Beech wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Beech tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W BirchWood)         (subclass ?S PlantStem))     (initialPart ?S BirchTree))	Economy.kif 5652-5657	If equal an object and Object made from another kind of object and the object is a subclass of Birch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Birch tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W CedarWood)         (subclass ?S PlantStem))     (initialPart ?S CedarTree))	Economy.kif 5757-5762	If equal an object and Object made from another kind of object and the object is a subclass of Cedar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Cedar tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W CherryWood)         (subclass ?S PlantStem))     (or         (initialPart ?S BlackCherryTree)         (initialPart ?S SweetCherryTree)))	Economy.kif 5662-5669	If equal an object and Object made from another kind of object and the object is a subclass of cherry wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a black cherry tree or every the other kind of object is initially part of a sweet cherry tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W FirWood)         (subclass ?S PlantStem))     (initialPart ?S FirTree))	Economy.kif 5767-5772	If equal an object and Object made from another kind of object and the object is a subclass of fir wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Fir tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W Hardwood)         (subclass ?S PlantStem))     (modalAttribute         (initialPart ?S DeciduousTree) Likely))	Economy.kif 5620-5627	If equal an object and Object made from a kind of organic object and the object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W LarchWood)         (subclass ?S PlantStem))     (initialPart ?S LarchTree))	Economy.kif 5777-5782	If equal an object and Object made from another kind of object and the object is a subclass of larch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a larch tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W MapleWood)         (subclass ?S PlantStem))     (initialPart ?S MapleTree))	Economy.kif 5674-5679	If equal an object and Object made from another kind of object and the object is a subclass of maple wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a maple tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W OkoumeWood)         (subclass ?S PlantStem))     (initialPart ?S OkoumeTree))	Economy.kif 5684-5689	If equal an object and Object made from another kind of object and the object is a subclass of Okoume wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a okoume tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W PineWood)         (subclass ?S PlantStem))     (initialPart ?S PineTree))	Economy.kif 5798-5803	If equal an object and Object made from another kind of object and the object is a subclass of pine wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a pine tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W PoplarWood)         (subclass ?S PlantStem))     (initialPart ?S PoplarTree))	Economy.kif 5694-5699	If equal an object and Object made from another kind of object and the object is a subclass of Poplar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Poplar tree
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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