(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (exists (?R ?O)         (and             (instance ?R                 (DeadFn ?ORG))             (part ?R ?O)             (instance ?O ?ORG))))	Economy.kif 5608-5617	If equal a kind of object and Object made from a kind of organic object and a kind of 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 5599-5606	If equal a kind of object and Object made from a kind of organic object and a kind of 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 5373-5377	If equal a kind of object and Object made from a kind of organic object and a kind of 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 a kind of object and Object made from another kind of object and a kind of 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 5382-5387	If equal a kind of object and Object made from another kind of object and a kind of 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 5392-5397	If equal a kind of object and Object made from another kind of object and a kind of 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 5053-5059	If equal a kind of object and Object made from another kind of object and a kind of 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 5637-5642	If equal a kind of object and Object made from another kind of object and a kind of 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 5647-5652	If equal a kind of object and Object made from another kind of object and a kind of 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 5657-5662	If equal a kind of object and Object made from another kind of object and a kind of 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 5762-5767	If equal a kind of object and Object made from another kind of object and a kind of 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 5667-5674	If equal a kind of object and Object made from another kind of object and a kind of 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 5772-5777	If equal a kind of object and Object made from another kind of object and a kind of 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 5625-5632	If equal a kind of object and Object made from a kind of organic object and a kind of 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 5782-5787	If equal a kind of object and Object made from another kind of object and a kind of 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 5679-5684	If equal a kind of object and Object made from another kind of object and a kind of 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 5689-5694	If equal a kind of object and Object made from another kind of object and a kind of 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 5803-5808	If equal a kind of object and Object made from another kind of object and a kind of 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 5699-5704	If equal a kind of object and Object made from another kind of object and a kind of 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
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W RedOakWood)         (subclass ?S PlantStem))     (initialPart ?S RedOakTree))	Economy.kif 5709-5714	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of red oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a red oak tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W SapeleWood)         (subclass ?S PlantStem))     (initialPart ?S SapeleTree))	Economy.kif 5719-5724	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Sapele wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Sapele tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W Softwood)         (subclass ?S PlantStem))     (modalAttribute         (initialPart ?S Conifers) Likely))	Economy.kif 5750-5757	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of softwood 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 conifers has the modal force of likely
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W SpruceWood)         (subclass ?S PlantStem))     (initialPart ?S SpruceTree))	Economy.kif 5792-5797	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Spruce wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Spruce tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W WalnutWood)         (subclass ?S PlantStem))     (initialPart ?S WalnutTree))	Economy.kif 5729-5734	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of walnut wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a walnut tree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W WhiteOakWood)         (subclass ?S PlantStem))     (initialPart ?S WhiteOakTree))	Economy.kif 5739-5744	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of white oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a white oak tree
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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