(=>
(and
(equal ?M
(OrganicObjectFn ?G))
(subclass ?M Malt)
(subclass ?G CerealGrain))
(initialPart ?G CerealGrass)) |
Economy.kif 4498-4504 |
If equal X and Object made from Y, X is a subclass of malt, and Y is a subclass of cereal grain, then every Y 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 X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z |
(=>
(and
(equal ?B
(OrganicObjectFn ?P))
(subclass ?B CoffeeBean)
(subclass ?P Seed))
(initialPart ?P CoffeePlant)) |
Economy.kif 4962-4967 |
If equal X and Object made from Y, X is a subclass of coffee bean, and Y is a subclass of seed, then every Y 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 X and Object made from Y, X is a subclass of cocoa bean, and Y is a subclass of seed, then every Y is initially part of a cocoa tree |
(=>
(and
(equal ?T
(OrganicObjectFn ?S))
(subclass ?T TeaPlantAerialPart)
(subclass ?S PlantStem))
(initialPart ?S TeaPlant)) |
Economy.kif 5048-5054 |
If equal X and Object made from Y, X is a subclass of tea plant aerial part, and Y is a subclass of plant stem, then every Y is initially part of a tea plant |
(=>
(and
(equal ?M
(OrganicObjectFn ?A))
(subclass ?M Meat))
(subclass ?A Animal)) |
Economy.kif 5293-5298 |
If equal X and Object made from Y and X is a subclass of meat, then Y is a subclass of animal |
(=>
(and
(equal ?P
(OrganicObjectFn ?S))
(subclass ?P Pelt))
(subclass ?S Skin)) |
Economy.kif 5381-5385 |
If equal X and Object made from Y and X is a subclass of pelt, then Y is a subclass of skin |
(=>
(and
(equal ?S
(OrganicObjectFn ?O))
(subclass ?S Lambskin)
(subclass ?O Skin))
(initialPart ?O Lamb)) |
Economy.kif 5390-5395 |
If equal X and Object made from Y, X is a subclass of lambskin, and Y is a subclass of skin, then every Y is initially part of a lamb |
(=>
(and
(equal ?S
(OrganicObjectFn ?O))
(subclass ?S Sheepskin)
(subclass ?O Skin))
(initialPart ?O Sheep)) |
Economy.kif 5400-5405 |
If equal X and Object made from Y, X is a subclass of sheepskin, and Y is a subclass of skin, then every Y is initially part of a sheep |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W WoodProduct)
(subclass ?S PlantStem))
(exists (?T)
(and
(subclass ?T BotanicalTree)
(initialPart ?S ?T)))) |
Economy.kif 5584-5593 |
If equal X and Object made from Y, X is a subclass of wood product, and Y is a subclass of plant stem, then there exists Z such that Z is a subclass of botanical tree and every Y is initially part of a Z |
(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(or
(subclass ?ORG Organism)
(subclass ?ORG AnatomicalStructure))) |
Economy.kif 5607-5614 |
If equal X and Object made from Y and X is a subclass of object, then Y is a subclass of organism or Y is a subclass of anatomical structure |
(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(exists (?R ?O)
(and
(instance ?R
(DeadFn ?ORG))
(part ?R ?O)
(instance ?O ?ORG)))) |
Economy.kif 5616-5625 |
If equal X and Object made from Y and X is a subclass of object, then there exist Z, W such that Z is an instance of a dead Y, Z is a part of W, and W is an instance of Y |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W Hardwood)
(subclass ?S PlantStem))
(modalAttribute
(initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5633-5640 |
If equal X and Object made from Y, X is a subclass of hardwood, and Y is a subclass of plant stem, then the statement every Y is initially part of a deciduous tree has the modal force of likely |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W BalsaWood)
(subclass ?S PlantStem))
(initialPart ?S BalsaTree)) |
Economy.kif 5645-5650 |
If equal X and Object made from Y, X is a subclass of Balsa wood, and Y is a subclass of plant stem, then every Y is initially part of a Balsa tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W BeechWood)
(subclass ?S PlantStem))
(initialPart ?S BeechTree)) |
Economy.kif 5655-5660 |
If equal X and Object made from Y, X is a subclass of Beech wood, and Y is a subclass of plant stem, then every Y is initially part of a Beech tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W BirchWood)
(subclass ?S PlantStem))
(initialPart ?S BirchTree)) |
Economy.kif 5665-5670 |
If equal X and Object made from Y, X is a subclass of Birch wood, and Y is a subclass of plant stem, then every Y is initially part of a Birch tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W CherryWood)
(subclass ?S PlantStem))
(or
(initialPart ?S BlackCherryTree)
(initialPart ?S SweetCherryTree))) |
Economy.kif 5675-5682 |
If equal X and Object made from Y, X is a subclass of cherry wood, and Y is a subclass of plant stem, then every Y is initially part of a black cherry tree or every Y is initially part of a sweet cherry tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W MapleWood)
(subclass ?S PlantStem))
(initialPart ?S MapleTree)) |
Economy.kif 5687-5692 |
If equal X and Object made from Y, X is a subclass of maple wood, and Y is a subclass of plant stem, then every Y is initially part of a maple tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W OkoumeWood)
(subclass ?S PlantStem))
(initialPart ?S OkoumeTree)) |
Economy.kif 5697-5702 |
If equal X and Object made from Y, X is a subclass of Okoume wood, and Y is a subclass of plant stem, then every Y is initially part of a okoume tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W PoplarWood)
(subclass ?S PlantStem))
(initialPart ?S PoplarTree)) |
Economy.kif 5707-5712 |
If equal X and Object made from Y, X is a subclass of Poplar wood, and Y is a subclass of plant stem, then every Y is initially part of a Poplar tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W RedOakWood)
(subclass ?S PlantStem))
(initialPart ?S RedOakTree)) |
Economy.kif 5717-5722 |
If equal X and Object made from Y, X is a subclass of red oak wood, and Y is a subclass of plant stem, then every Y is initially part of a red oak tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W SapeleWood)
(subclass ?S PlantStem))
(initialPart ?S SapeleTree)) |
Economy.kif 5727-5732 |
If equal X and Object made from Y, X is a subclass of Sapele wood, and Y is a subclass of plant stem, then every Y is initially part of a Sapele tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W WalnutWood)
(subclass ?S PlantStem))
(initialPart ?S WalnutTree)) |
Economy.kif 5737-5742 |
If equal X and Object made from Y, X is a subclass of walnut wood, and Y is a subclass of plant stem, then every Y is initially part of a walnut tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W WhiteOakWood)
(subclass ?S PlantStem))
(initialPart ?S WhiteOakTree)) |
Economy.kif 5747-5752 |
If equal X and Object made from Y, X is a subclass of white oak wood, and Y is a subclass of plant stem, then every Y is initially part of a white oak tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W Softwood)
(subclass ?S PlantStem))
(modalAttribute
(initialPart ?S Conifer) Likely)) |
Economy.kif 5758-5765 |
If equal X and Object made from Y, X is a subclass of softwood, and Y is a subclass of plant stem, then the statement every Y is initially part of a conifer has the modal force of likely |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
