(=>
(instance ?L Lawn)
(exists (?G)
(and
(instance ?G Grass)
(located ?G ?L)))) |
Mid-level-ontology.kif 10374-10379 |
If X is an instance of lawn, then there exists Y such that Y is an instance of grass plant and Y is located at X |
(=>
(instance ?HAY Hay)
(exists (?MAKE ?GRASS)
(and
(instance ?MAKE Making)
(resource ?MAKE ?GRASS)
(instance ?GRASS Grass)
(result ?MAKE ?HAY)))) |
Mid-level-ontology.kif 22645-22652 |
If X is an instance of hay, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of grass plant, and X is a result of Y |
(=>
(instance ?FIRE GrassFire)
(exists (?GRASS)
(and
(instance ?GRASS Grass)
(eventLocated ?FIRE ?GRASS)
(patient ?FIRE ?GRASS)))) |
Geography.kif 3872-3878 |
If X is an instance of grass fire, then there exists Y such that Y is an instance of grass plant, X is located at Y, and Y is a patient of X |
(=>
(instance ?SWAMP Swamp)
(vegetationTypePattern ?SWAMP Grass DenseVegetation)) |
Geography.kif 8245-8247 |
If X is an instance of swamp, then X is vegetation type pattern grass plant for dense vegetation |
(=>
(instance ?PLAIN Grassland)
(vegetationTypePattern ?PLAIN Grass GroundCoverVegetation)) |
Geography.kif 8331-8333 |
If X is an instance of grassland, then X is vegetation type pattern grass plant for ground cover vegetation |
(=>
(instance ?DEVICE GrassMower)
(hasPurpose ?DEVICE
(exists (?GRASS ?PROC)
(and
(instance ?PROC Cutting)
(instance ?GRASS Grass)
(patient ?PROC ?GRASS)
(instrument ?PROC ?DEVICE))))) |
HouseholdAppliances.kif 459-467 |
If X is an instance of mower, then X has the purpose there exist Y, Z such that Z is an instance of cutting, Y is an instance of grass plant, Y is a patient of Z, and X is an instrument for Z |
