Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WheelRim
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NitricOxide CompoundSubstance) | Geography.kif 8864-8864 | Nitric oxide is a subclass of compound substance |
| (documentation NitricOxide EnglishLanguage " NitricOxide is a chemical compound in the state of Gas, with a chemical formula of NO.") | Geography.kif 8865-8866 | Nitric oxide is a subclass of compound substance |
| (documentation NitricOxide ChineseLanguage " NitricOxide 是一种状态为 Gas 的化学复合物， 它的化学公式是 NO。") | Geography.kif 8867-8868 | Nitric oxide is a subclass of compound substance |
| (roomTempState NitricOxide Gas) | Geography.kif 8872-8872 | room temperature state nitric oxide and gas |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NitricOxide "nitric oxide") | Geography.kif 8869-8869 | |
| (termFormat ChineseLanguage NitricOxide "一氧化氮") | Geography.kif 8870-8870 |
| appearance as argument number 3 |
|
|
| (molecularRatio Nitrogen 1 NitricOxide) | Geography.kif 8874-8874 | The number of molecules of nitrogen in a molecule of nitric oxide is 1 |
| (molecularRatio Oxygen 1 NitricOxide) | Geography.kif 8875-8875 | The number of molecules of oxygen in a molecule of nitric oxide is 1 |
| antecedent |
|
|
| (=> (and (instance ?Y NitricOxide) (holdsDuring ?T (property ?Y StandardAmbientTemperaturePressure))) (holdsDuring ?T (attribute ?Y Gas))) |
Geography.kif 8877-8883 | If X is an instance of nitric oxide 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 |
|