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

Formal Language: 



KB Term:  Term intersection
English Word: 

  precipitationState

 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 1184-1187
(domain precipitationState 1 WeatherProcess) Weather.kif 1182-1182 Il numero 1 argomenti di precipitationState è un istanza di WeatherProcess
(domain precipitationState 2 PhysicalState) Weather.kif 1183-1183 Il numero 2 argomenti di precipitationState è un istanza di StatoFisico
(instance precipitationState AsymmetricRelation) Weather.kif 1181-1181 precipitationState è un' istanza di RelazioneAsimmetrica
(instance precipitationState BinaryPredicate) Weather.kif 1180-1180 precipitationState è un' istanza di PredicatoBinario

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 47126-47126
(termFormat ChineseTraditionalLanguage precipitationState "降水狀態") domainEnglishFormat.kif 47125-47125
(termFormat EnglishLanguage precipitationState "precipitation state") domainEnglishFormat.kif 47124-47124

antecedent
-------------------------


(=>
    (precipitationState ?EVENT ?STATE)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?EVENT ?STUFF)
            (attribute ?STUFF ?STATE))))		 Weather.kif 1189-1195

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


(=>
    (instance ?PROCESS FreezingRain)
    (precipitationState ?PROCESS Liquid))		 Weather.kif 1083-1085
(=>
    (instance ?PROCESS Hailing)
    (precipitationState ?PROCESS Solid))		 Weather.kif 1176-1178
(=>
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))		 Weather.kif 1049-1051
(=>
    (instance ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))		 Weather.kif 1133-1135


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

Show without tree


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