| (=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 5787-5795 | |
| (=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 5796-5804 | |
| (subclass Plant Organism) | Merge.kif 13347-13347 | subclass Plant and Organism |
| (subclass FloweringPlant Plant) | Merge.kif 13352-13352 | subclass FloweringPlant and Plant |
| (subclass NonFloweringPlant Plant) | Merge.kif 13356-13356 | subclass NonFloweringPlant and Plant |
| (subclass Alfalfa Plant) | Economy.kif 4162-4162 | subclass Alfalfa and Plant |
| (subclass Clover Plant) | Economy.kif 4166-4166 | subclass Clover and Plant |
| (subclass ForageCrop Plant) | Economy.kif 4171-4171 | subclass ForageCrop and Plant |
|
|