TreeView Knowledge Base Browser - precipitationState

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

precipitationState

Sigma KEE - precipitationState

precipitationState

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1184-1187
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1182-1182	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 1183-1183	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 1181-1181	precipitation state is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1180-1180	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 1189-1195

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 1083-1085	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 1176-1178	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 1049-1051	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 1133-1135	If a weather process is an instance of snowing, then solid is a precipitation state of the weather process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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