|
|
  NitricOxide
|
|
|
| appearance as argument number 1 |
|
|
| (roomTempState NitricOxide Gas) | Mid-level-ontology.kif 31736-31736 |
| 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 |
|
|
|