TreeView Knowledge Base Browser - MeasuringSurfaceWindSpeedList

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MeasuringSurfaceWindSpeedList

Sigma KEE - MeasuringSurfaceWindSpeedList

MeasuringSurfaceWindSpeedList

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1742-1743
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1740-1741
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1744-1744	MeasuringSurfaceWindSpeedList est une sous-classe de MeasuringList

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10421-10421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10420-10420

antecedent

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

Weather.kif 1746-1750

Liste est une instance de MeasuringSurfaceWindSpeedList entit� est un membre de liste
entit� est une instance de SurfaceWindSpeedMeasuring

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2219-2236	Function de quantit� est Mean10MinutesWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 10 MinuteDuration(s) 120 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2341	Function de quantit� est Mean1MinuteWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 1 MinuteDuration(s) 12 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2289-2306	Function de quantit� est Mean2MinutesWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 2 MinuteDuration(s) 24 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2271	Function de quantit� est Mean3MinutesWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 2 MinuteDuration(s) 36 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1900-1917	Function de quantit� est Mean3SecondWindSpeedFn secteur g�ographique and interval temporel entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 0.25 SecondDuration(s) measuringListDuration entit� and 3 SecondDuration(s) 12 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel

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