(=>
(instance ?L Sunlight)
(origin ?L Sol)) |
Mid-level-ontology.kif 12486-12488 |
If X is an instance of sunlight, then X originates at sol |
(=>
(and
(instance ?S Sunburn)
(experiencer ?S ?H))
(exists (?D ?SKIN)
(and
(instance ?D Damaging)
(instrument ?D Sol)
(instance ?SKIN Skin)
(part ?SKIN ?H)
(patient ?D ?SKIN)))) |
Mid-level-ontology.kif 12495-12505 |
If X is an instance of sunburn and Y experiences X, then there exist Z, W such that Z is an instance of damaging, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z |
(=>
(and
(instance ?S Tanning)
(experiencer ?S ?H))
(exists (?D ?SKIN)
(and
(instance ?D RadiatingUltraviolet)
(instrument ?D Sol)
(instance ?SKIN Skin)
(part ?SKIN ?H)
(patient ?D ?SKIN)))) |
Mid-level-ontology.kif 12513-12523 |
If X is an instance of tanning and Y experiences X, then there exist Z, W such that Z is an instance of radiating ultraviolet, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z |
