Rain - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Rain

Rain(rain)

appearance as argument number 1

(documentation Rain ChineseLanguage "Rain 是 Raining 而来的 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 31908-31908	roomTempState rain and liquid
(subclass Rain Water)	Weather.kif 2946-2946	Rain is a subclass of water

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	If a physical is an instance of rain drop, then there exists a collection such that the collection is an instance of rain and the collection is an instance of collection and the physical is a member of the collection
(=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 2948-2953	If a transfer is an instance of raining, then there exists an object such that the object is an instance of rain and the object transferred in the transfer is the object

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