TreeView Knowledge Base Browser - locationMeasuringList

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

locationMeasuringList

Sigma KEE - locationMeasuringList

locationMeasuringList

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1756-1758
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1752-1755
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1761-1761	Le nombre 1 argument de locationMeasuringList est une instance de MeasuringList
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1762-1762	Le nombre 2 argument de locationMeasuringList est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1763-1763	locationMeasuringList est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1760-1760
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1759-1759
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10406-10406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10405-10405

antecedent

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

Weather.kif 1765-1771

locationMeasuringList MeasuringList and secteur g�ographique processus est un membre de MeasuringList
processus est une instance de mesurer eventLocated processus and secteur g�ographique

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