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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rain
Rain

appearance as argument number 1
-------------------------


(documentation Rain ChineseLanguage "RainRaining 而来的 Water。") Weather.kif 2943-2943
(documentation Rain EnglishLanguage "Rain refers to the Water resulting from Raining.") Weather.kif 2941-2942
(roomTempState Rain Liquid) Mid-level-ontology.kif 31675-31675
(subclass Rain Water) Weather.kif 2946-2946

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Rain "雨水") Weather.kif 2945-2945
(termFormat EnglishLanguage Rain "rain") Weather.kif 2944-2944

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


(=>
    (instance ?DROP Raindrop)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (instance ?RAIN Collection)
            (member ?DROP ?RAIN))))
Weather.kif 2964-2970
(=>
    (instance ?PROCESS Raining)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (objectTransferred ?PROCESS ?RAIN))))
Weather.kif 2948-2953


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