(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(member ?M ?COLL)
(part ?M EmmerWheatGrass))
(exists (?A ?B ?X ?Y)
(and
(subCollection ?A ?COLL)
(instance ?A HomologousChromosomeSet)
(memberType ?A ?X)
(initialPart ?X EinkornWheatGrass)
(subCollection ?B ?COLL)
(instance ?B HomologousChromosomeSet)
(memberType ?B ?Y)
(initialPart ?Y AegilopsGrass)))) |
Economy.kif 4211-4226 |
If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of emmer wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a einkorn wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops grass |
(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(member ?M ?COLL)
(part ?M DurumWheatGrass))
(exists (?A ?B ?X ?Y)
(and
(subCollection ?A ?COLL)
(instance ?A HomologousChromosomeSet)
(memberType ?A ?X)
(initialPart ?X TriticumUrartu)
(subCollection ?B ?COLL)
(instance ?B HomologousChromosomeSet)
(memberType ?B ?Y)
(initialPart ?Y AegilopsSpeltoides)))) |
Economy.kif 4243-4258 |
If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of durum wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a Triticum urartu (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Speltoides |
(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(member ?M ?COLL)
(part ?M CommonWheatGrass))
(exists (?A ?B ?X ?Y)
(and
(subCollection ?A ?COLL)
(instance ?A HomologousChromosomeSet)
(memberType ?A ?X)
(initialPart ?X EmmerWheatGrass)
(subCollection ?B ?COLL)
(instance ?B HomologousChromosomeSet)
(memberType ?B ?Y)
(initialPart ?Y AegilopsTauschii)))) |
Economy.kif 4302-4317 |
If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of common wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a emmer wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Tauschii |
(=>
(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
(subclass ?CLASS PlantLeaf)
(equal ?CLASS LeafyGreenVegetable))
(initialPart ?CLASS Plant)) |
Economy.kif 4546-4550 |
If X is a subclass of plant leaf and equal X and leafy green vegetable, then every X is initially part of a plant |
(=>
(and
(subclass ?CLASS Fruit)
(equal ?CLASS Cucumber))
(initialPart ?CLASS CucumberPlant)) |
Economy.kif 4555-4559 |
If X is a subclass of fruit and equal X and cucumber, then every X is initially part of a cucumber plant |
(=>
(and
(subclass ?CLASS PlantLeaf)
(equal ?CLASS Cabbage))
(initialPart ?CLASS CabbagePlant)) |
Economy.kif 4571-4575 |
If X is a subclass of plant leaf and equal X and cabbage, then every X is initially part of a cabbage plant |
(=>
(and
(subclass ?CLASS Flower)
(equal ?CLASS Cauliflower))
(initialPart ?CLASS CabbagePlant)) |
Economy.kif 4597-4601 |
If X is a subclass of flower and equal X and cauliflower, then every X is initially part of a cabbage plant |
(=>
(and
(subclass ?CLASS Fruit)
(equal ?CLASS Eggplant))
(initialPart ?CLASS EggplantPlant)) |
Economy.kif 4609-4613 |
If X is a subclass of fruit and equal X and eggplant, then every X is initially part of a eggplant |
(=>
(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
(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
(subclass ?CLASS Seed)
(equal ?CLASS Clover))
(initialPart ?CLASS CloverPlant)) |
Economy.kif 5176-5180 |
If X is a subclass of seed and equal X and clover, then every X is initially part of a clover plant |
(=>
(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 ?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 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
