TreeView Knowledge Base Browser - WindFlow

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WindFlow

WindFlow(wind flow)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 84-86
No TPTP formula. May not be expressible in strict first order.	Weather.kif 82-82	Wind flow is a subclass of air stream

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 88-88
No TPTP formula. May not be expressible in strict first order.	Weather.kif 87-87

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 159-165	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 194-199	If a physical is an instance of wind flow and the measure of the physical is a length measure per a time duration in a region in the direction an entity-TOWARD and the entity-FROM is an opposite direction of the entity-TOWARD, then the entity-FROM is a surface wind direction of the region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	If a region is surface wind velocity a length measure per a time duration for a directional attribute and the region is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is partly located at the region and the measure of the process is the length measure per the time duration in the region in the direction the directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 90-92	If a physical is an instance of wind flow, then the physical is located at earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Weather.kif 94-99	If an object is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is located at the object

consequent

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

Weather.kif 523-530

If a process is an instance of weather system,
then there exist another process and an entity such that the other process is an instance of translocation and the entity is an instance of wind flow and the entity is a patient of the other process and the other process is a subprocess of the 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