TreeView Knowledge Base Browser - precipitationState

appearance as argument number 1

(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 1172-1175
(domain precipitationState 1 WeatherProcess)	Weather.kif 1170-1170	The number 1 argument of precipitation state is an instance of weather process
(domain precipitationState 2 PhysicalState)	Weather.kif 1171-1171	The number 2 argument of precipitation state is an instance of physical state
(instance precipitationState AsymmetricRelation)	Weather.kif 1169-1169	precipitation state is an instance of asymmetric relation
(instance precipitationState BinaryPredicate)	Weather.kif 1168-1168	precipitation state is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage precipitationState "%2 %n 是 %1 的 precipitation 状态")	domainEnglishFormat.kif 2027-2027
(format ChineseTraditionalLanguage precipitationState "%2 %n 是 %1 的 precipitation 狀態")	domainEnglishFormat.kif 2026-2026
(format EnglishLanguage precipitationState "%2 is %n a precipitation state of %1")	domainEnglishFormat.kif 2025-2025
(termFormat ChineseLanguage precipitationState "降水状态")	domainEnglishFormat.kif 47128-47128
(termFormat ChineseTraditionalLanguage precipitationState "降水狀態")	domainEnglishFormat.kif 47127-47127
(termFormat EnglishLanguage precipitationState "precipitation state")	domainEnglishFormat.kif 47126-47126

antecedent

(=>
    (precipitationState ?EVENT ?STATE)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?EVENT ?STUFF)
            (attribute ?STUFF ?STATE))))

Weather.kif 1177-1183

If a physical state is a precipitation state of a weather process,
then there exists an object such that the object is an instance of water and the object is a patient of the weather process and the physical state is an attribute of the object

consequent

(=> (instance ?PROCESS FreezingRain) (precipitationState ?PROCESS Liquid))	Weather.kif 1071-1073	If a weather process is an instance of freezing rain, then liquid is a precipitation state of the weather process
(=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid))	Weather.kif 1164-1166	If a weather process is an instance of hailing, then solid is a precipitation state of the weather process
(=> (instance ?PROCESS Raining) (precipitationState ?PROCESS Liquid))	Weather.kif 1037-1039	If a weather process is an instance of raining, then liquid is a precipitation state of the weather process
(=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid))	Weather.kif 1121-1123	If a weather process is an instance of snowing, then solid is a precipitation state of the weather process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: