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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Rain

appearance as argument number 1

(documentation Rain ChineseLanguage "RainRaining 而来的 Water。") Weather.kif 2956-2956
(documentation Rain EnglishLanguage "Rain refers to the Water resulting from Raining.") Weather.kif 2954-2955
(roomTempState Rain Liquid) Mid-level-ontology.kif 31639-31639
(subclass Rain Water) Weather.kif 2959-2959

appearance as argument number 2

(termFormat ChineseLanguage Rain "雨水") Weather.kif 2958-2958
(termFormat EnglishLanguage Rain "rain") Weather.kif 2957-2957


    (instance ?DROP Raindrop)
    (exists (?RAIN)
            (instance ?RAIN Rain)
            (instance ?RAIN Collection)
            (member ?DROP ?RAIN))))
Weather.kif 2977-2983
    (instance ?PROCESS Raining)
    (exists (?RAIN)
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 2961-2966

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