![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(roomTempState NitrogenDioxide Gas) | Mid-level-ontology.kif 31737-31737 |
consequent |
![]() |
(=> (instance ?AR AcidRainfall) (exists (?RAIN ?SO2 ?NO ?NO2) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (instance ?SO2 SulphurDioxide) (instance ?NO NitricOxide) (instance ?NO2 NitrogenDioxide) (or (part ?SO2 ?RAIN) (part ?NO ?RAIN) (part ?NO2 ?RAIN))))) |
Geography.kif 2493-2505 |
![]() |
![]() |