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 2942-2942
(documentation Rain EnglishLanguage "Rain refers to the Water resulting from Raining.")	Weather.kif 2940-2941
(roomTempState Rain Liquid)	Mid-level-ontology.kif 32766-32766	roomTempState rain and liquid
(subclass Rain Water)	Weather.kif 2945-2945	Rain is a subclass of water

appearance as argument number 2

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

consequent

(=> (instance ?DROP Raindrop) (exists (?RAIN) (and (instance ?RAIN Rain) (instance ?RAIN Collection) (member ?DROP ?RAIN))))	Weather.kif 2963-2969	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 2947-2952	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