Raining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Raining

Raining(raining)

cloudburst, deluge, downpour, drizzle, mizzle, pelter, rain, rain_down, rain_shower, raindrop, rainfall, rainstorm, shower, soaker, thundershower, torrent, virga, waterspout

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1049-1050
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1045-1047
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2327-2327
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1947-1947
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2326-2326
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1043-1043	Raining is a subclass of precipitation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2455-2455	Acid rainfall is a subclass of raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2794-2794	Drizzling is a subclass of raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1107-1107	Heavy raining is a subclass of raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2856-2856	Rain showering is a subclass of raining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48674-48674
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1052-1052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48673-48673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48672-48672

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2958-2963	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1054-1056	If a weather process is an instance of raining, then liquid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1058-1070	If a transfer is an instance of raining, then there exist a collection and a kind of object such that the collection is an instance of collection and a kind of object is an instance of water and the kind of object is an instance of liquid drop and the kind of object is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object is 9 millimeter(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2464-2475	If a time interval is an instance of drought and the time interval is located at 2, then there don't exist another time interval and an object such that the other time interval is an instance of raining and the object is an instance of region and the other time interval is located at 2 and the object and an entity is overlapsSpatially and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2858-2872	If a physical is an instance of rain showering, then there exist an entity, another entity and a third entity such that the entity is an instance of raining and the other entity is an instance of raining and the third entity is an instance of region and the entity is a subprocess of the physical and the other entity is a subprocess of the physical and the entity is located at 2 and the other entity is located at 2 and the time of existence of the other entity doesn't overlap the time of existence of the entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2823-2848	If the rate of rain in a geographic area during a time interval is a function quantity, then there exist a transfer, a collection,, , an object,, , a self connected object,, , an entity,, , another self connected object and the transferFALL such that the transfer is an instance of raining and the transfer is located at 2 and the time of existence of the transfer takes place during the time interval and the collection is an instance of collection and the object transferred in the transfer is the collection and the object is an instance of water and the object is a member of the collection and the self connected object is an instance of container and the bottom of the self connected object is the other self connected object and flat is an attribute of the other self connected object and the self connected object is located at the geographic area and container empty is an attribute of the self connected object holds during the beginning of the time interval and the collection is located at the self connected object and the top of the collection is the entity and the depth from the entity to the other self connected object is the transferFALL and the transferFALL is equal to the time interval and the function quantity holds during the end of the time interval

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