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