WindFlow |
appearance as argument number 1 |
(documentation WindFlow EnglishLanguage "WindFlow is the class of variable AirStreams that are in the EarthsAtmosphere. It is also known as air currents which are concentrated areas of winds.") | Weather.kif 84-86 | |
(subclass WindFlow AirStream) | Weather.kif 82-82 | WindFlow e' uma sub-classe de AirStream |
appearance as argument number 2 |
(termFormat ChineseLanguage WindFlow "大气气流") | Weather.kif 88-88 | |
(termFormat EnglishLanguage WindFlow "wind flow") | Weather.kif 87-87 |
antecedent |
consequent |
(=> (instance ?WS WeatherSystem) (exists (?MOVE ?WF) (and (instance ?MOVE Translocation) (instance ?WF WindFlow) (patient ?MOVE ?WF) (subProcess ?MOVE ?WS)))) |
Weather.kif 511-518 |