Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - precipitationState
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 O argumento numero 1 de precipitationState e' uma instancia de WeatherProcess
(domain precipitationState 2 PhysicalState) Weather.kif 1171-1171 O argumento numero 2 de precipitationState e' uma instancia de Estado Fisico
(instance precipitationState AsymmetricRelation) Weather.kif 1169-1169 precipitationState e' uma instancia de Relacao Assimetrica
(instance precipitationState BinaryPredicate) Weather.kif 1168-1168 precipitationState e' uma instancia de Predicado Binario

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

consequent
-------------------------


(=>
    (instance ?PROCESS FreezingRain)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1071-1073
(=>
    (instance ?PROCESS Hailing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1164-1166
(=>
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1037-1039
(=>
    (instance ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1121-1123


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners