precipitationState - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - precipitationState

precipitationState

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1188-1191
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1186-1186	The number 1 argument of precipitation state is an instance of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1187-1187	The number 2 argument of precipitation state is an instance of physical state
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1185-1185	precipitation state is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1184-1184	precipitation state is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2027-2027
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2026-2026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2025-2025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47126-47126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47125-47125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47124-47124

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1193-1199

If a physical state is a precipitation state of a weather process,
then there exists an object such that the object is an instance of water and the object is a patient of the weather process and the physical state is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1087-1089	If a weather process is an instance of freezing rain, then liquid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1180-1182	If a weather process is an instance of hailing, then solid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1053-1055	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 1137-1139	If a weather process is an instance of snowing, then solid is a precipitation state of the weather process

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