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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1188-1191
(domain precipitationState 1 WeatherProcess) Weather.kif 1186-1186 The number 1 argument of precipitation state is an instance of weather process
(domain precipitationState 2 PhysicalState) Weather.kif 1187-1187 The number 2 argument of precipitation state is an instance of physical state
(instance precipitationState AsymmetricRelation) Weather.kif 1185-1185 precipitation state is an instance of asymmetric relation
(instance precipitationState BinaryPredicate) Weather.kif 1184-1184 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 47138-47138
(termFormat ChineseTraditionalLanguage precipitationState "降水狀態") domainEnglishFormat.kif 47137-47137
(termFormat EnglishLanguage precipitationState "precipitation state") domainEnglishFormat.kif 47136-47136


    (precipitationState ?EVENT ?STATE)
    (exists (?STUFF)
            (instance ?STUFF Water)
            (patient ?EVENT ?STUFF)
            (attribute ?STUFF ?STATE))))
Weather.kif 1193-1199


    (instance ?PROCESS FreezingRain)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1087-1089
    (instance ?PROCESS Hailing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1180-1182
    (instance ?PROCESS Raining)
    (precipitationState ?PROCESS Liquid))
Weather.kif 1053-1055
    (instance ?PROCESS Snowing)
    (precipitationState ?PROCESS Solid))
Weather.kif 1137-1139

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