Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| precipitationState |
| appearance as argument number 1 |
|
| (instance precipitationState BinaryPredicate) | Weather.kif 1864-1864 | precipitation state is an instance of binary predicate |
| (instance precipitationState AsymmetricRelation) | Weather.kif 1865-1865 | precipitation state is an instance of asymmetric relation |
| (domain precipitationState 1 WeatherProcess) | Weather.kif 1866-1866 | The number 1 argument of precipitation state is an instance of weather process |
| (domain precipitationState 2 PhysicalState) | Weather.kif 1867-1867 | The number 2 argument of precipitation state is an instance of physical state |
| (documentation precipitationState EnglishLanguage "(precipitationState ?EVENT ?STATE) means that in the Precipitation ?EVENT, the stuff falling is in the PhysicalState ?STATE (e.g., Liquid or Solid ice).") | Weather.kif 1868-1871 | The number 2 argument of precipitation state is an instance of physical state |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage precipitationState "%2 is %n a precipitation state of %1") | domainEnglishFormat.kif 2029-2029 | |
| (format ChineseTraditionalLanguage precipitationState "%2 %n 是 %1 的 precipitation 狀態") | domainEnglishFormat.kif 2030-2030 | |
| (format ChineseLanguage precipitationState "%2 %n 是 %1 的 precipitation 状态") | domainEnglishFormat.kif 2031-2031 | |
| (termFormat EnglishLanguage precipitationState "precipitation state") | domainEnglishFormat.kif 47119-47119 | |
| (termFormat ChineseTraditionalLanguage precipitationState "降水狀態") | domainEnglishFormat.kif 47120-47120 | |
| (termFormat ChineseLanguage precipitationState "降水状态") | domainEnglishFormat.kif 47121-47121 |
| antecedent |
|
|
| (=> (precipitationState ?EVENT ?STATE) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?EVENT ?STUFF) (attribute ?STUFF ?STATE)))) |
Weather.kif 1873-1879 | If X is a precipitation state of Y, then there exists Z such that Z is an instance of water, Z is a patient of Y, and X is an attribute of Z |
| consequent |
|
|
| (=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1730-1732 | If X is an instance of raining, then liquid is a precipitation state of X |
| (=> (instance ?PROCESS FreezingRain) (precipitationState ?PROCESS Liquid)) |
Weather.kif 1764-1766 | If X is an instance of freezing rain, then liquid is a precipitation state of X |
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1817-1819 | If X is an instance of snowing, then solid is a precipitation state of X |
| (=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1860-1862 | If X is an instance of hailing, then solid is a precipitation state of X |
|