| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 | |
| (=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem))))) |
Mid-level-ontology.kif 9561-9574 |
|
| (=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 6191-6199 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4214-4218 |
|
| (=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 6201-6209 | |
| (subclass Plant Organism) | Merge.kif 14399-14399 | 植物 は 物 の subclass では %n |
| (subclass FloweringPlant Plant) | Merge.kif 14404-14404 | 顕花植物 は 植物 の subclass では %n |
| (subclass NonFloweringPlant Plant) | Merge.kif 14408-14408 | 隠花植物 は 植物 の subclass では %n |
|
|