(=>
(and
(instance ?STEM PlantStem)
(instance ?ROOT PlantRoot))
(modalAttribute
(orientation ?STEM ?ROOT Above) Likely)) |
Mid-level-ontology.kif 11030-11035 |
If X is an instance of plant stem and Y is an instance of plant root, then the statement X is above to Y has the modal force of likely |
(=>
(instance ?STEM PlantStem)
(hasPurpose ?STEM
(exists (?TRAN ?ROOT ?SUB)
(and
(instance ?TRAN Transfer)
(instrument ?TRAN ?STEM)
(instance ?ROOT PlantRoot)
(origin ?TRAN ?ROOT)
(instance ?SUB Substance)
(attribute ?SUB Fluid)
(objectTransferred ?TRAN ?SUB))))) |
Mid-level-ontology.kif 11037-11048 |
If X is an instance of plant stem, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Z is an instance of plant root (5) Y originates at Z (6) W is an instance of substance (7) fluid is an attribute of W (8) the object transferred in Y is W |
(=>
(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
(subclass ?CLASS PlantStem)
(equal ?CLASS Alfalfa))
(initialPart ?CLASS AlfalfaPlant)) |
Economy.kif 5162-5166 |
If X is a subclass of plant stem and equal X and alfalfa, then every X is initially part of a alfalfa plant |
(=>
(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 ?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 |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W CedarWood)
(subclass ?S PlantStem))
(initialPart ?S CedarTree)) |
Economy.kif 5770-5775 |
If equal X and Object made from Y, X is a subclass of Cedar wood, and Y is a subclass of plant stem, then every Y is initially part of a Cedar tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W FirWood)
(subclass ?S PlantStem))
(initialPart ?S FirTree)) |
Economy.kif 5780-5785 |
If equal X and Object made from Y, X is a subclass of fir wood, and Y is a subclass of plant stem, then every Y is initially part of a Fir tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W LarchWood)
(subclass ?S PlantStem))
(initialPart ?S LarchTree)) |
Economy.kif 5790-5795 |
If equal X and Object made from Y, X is a subclass of larch wood, and Y is a subclass of plant stem, then every Y is initially part of a larch tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W SpruceWood)
(subclass ?S PlantStem))
(initialPart ?S SpruceTree)) |
Economy.kif 5800-5805 |
If equal X and Object made from Y, X is a subclass of Spruce wood, and Y is a subclass of plant stem, then every Y is initially part of a Spruce tree |
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W PineWood)
(subclass ?S PlantStem))
(initialPart ?S PineTree)) |
Economy.kif 5811-5816 |
If equal X and Object made from Y, X is a subclass of pine wood, and Y is a subclass of plant stem, then every Y is initially part of a pine tree |
