Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NitrogenDioxide CompoundSubstance) | Geography.kif 8887-8887 | Nitrogen dioxide is a subclass of compound substance |
| (documentation NitrogenDioxide EnglishLanguage "NitrogenDioxide is a chemical compound in the state of Gas, with a chemical formula of NO2.") | Geography.kif 8888-8889 | Nitrogen dioxide is a subclass of compound substance |
| (documentation NitrogenDioxide ChineseLanguage "NitrogenDioxide 是一种状态为 Gas 的化学 复合物，它的化学公式是 NO2。") | Geography.kif 8890-8891 | Nitrogen dioxide is a subclass of compound substance |
| (roomTempState NitrogenDioxide Gas) | Geography.kif 8896-8896 | room temperature state nitrogen dioxide and gas |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NitrogenDioxide "nitrogen dioxide") | Geography.kif 8893-8893 | |
| (termFormat ChineseLanguage NitrogenDioxide "二氧化氮") | Geography.kif 8894-8894 |
| appearance as argument number 3 |
|
|
| (molecularRatio Nitrogen 1 NitrogenDioxide) | Geography.kif 8898-8898 | The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1 |
| (molecularRatio Oxygen 2 NitrogenDioxide) | Geography.kif 8899-8899 | The number of molecules of oxygen in a molecule of nitrogen dioxide is 2 |
| antecedent |
|
|
| (=> (and (instance ?Y NitrogenDioxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas))) |
Geography.kif 8901-8907 | If X is an instance of nitrogen dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y |
| 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 3931-3943 | If X is an instance of acid rainfall, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of water (3) Y is a patient of X (4) Z is an instance of sulphur dioxide (5) W is an instance of nitric oxide (6) V is an instance of nitrogen dioxide (7) Z is a part of Y or W is a part of Y or V is a part of Y |
|