Snowing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Snowing

Snowing(snowing)

crud, flurry, snow, snow_flurry, snowfall

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1130-1131
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1127-1128
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1007-1007
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1135-1135	Snowing is a subclass of precipitation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53564-53564
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1133-1133
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53563-53563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53562-53562

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2997-3002	If a transfer is an instance of snowing, then there exists an object such that the object is an instance of snow and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1137-1139	If a weather process is an instance of snowing, then solid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1141-1149	If a transfer is an instance of snowing, then there exist a collection and an object such that the collection is an instance of collection and the object is an instance of ice and mono crystalline is an attribute of the object and the object is a member of the collection and the object transferred in the transfer is the collection

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2620-2625	If a process is an instance of blizzard, then there exists another process such that the other process is an instance of snowing and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1049-1058	If a physical is an instance of ski, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of snowing and the third entity is a result of the other entity and the entity is an instance of transportation and the physical is an instrument for the entity and the entity is located at the third entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2940-2955	If a physical is an instance of snow storm, then there exist an entity, another entity and a third entity such that the entity is an instance of snowing and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5.0 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3035-3062	If the rate of snow falling at a geographic area during a time interval is a function quantity, then there exist a transfer, an object,, , a self connected object,, , an entity,, , another self connected object and another entity such that the transfer is an instance of snowing and the transfer is located at the geographic area and the time of existence of the transfer takes place during the time interval and the object is an instance of snow and the object transferred in the transfer is the object and the self connected object is an instance of board or block 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 there doesn't exist a third entity such that the third entity is an instance of object and the third entity is located at the self connected object holds during the beginning of the time interval and the object is located at the self connected object and the top of the object is the entity and the depth from the entity to the other self connected object is the other entity and the other entity 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