TreeView Knowledge Base Browser - surfaceWindVelocity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

surfaceWindVelocity

Sigma KEE - surfaceWindVelocity

surfaceWindVelocity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 108-113
No TPTP formula. May not be expressible in strict first order.	Weather.kif 104-104	The number 1 argument of surface wind velocity is an instance of object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 105-105	The number 2 argument of surface wind velocity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 106-106	The number 3 argument of surface wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 103-103	surface wind velocity is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2427-2427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2426-2426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2425-2425
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56331-56331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56330-56330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56329-56329

antecedent

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 176-180	If an object is surface wind velocity a physical quantity for 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 object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 132-134	If an object is surface wind velocity a physical quantity for a directional attribute, then the physical quantity is a surface wind speed of the object

consequent

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

Weather.kif 125-130

If a region is an instance of object and a physical is an instance of wind and the measure of the physical is a length measure per a time duration in the region in the direction a directional attribute,
then the region is surface wind velocity the length measure per the time duration for the directional attribute

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