TreeView Knowledge Base Browser - measuringListInterval

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

measuringListInterval

Sigma KEE - measuringListInterval

measuringListInterval

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1852-1852	O argumento numero 1 de measuringListInterval e' uma instancia de MeasuringList
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1853-1853	O argumento numero 2 de measuringListInterval e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1854-1854	measuringListInterval e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1848-1850
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1843-1846
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1851-1851
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1847-1847
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10403-10403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10402-10402

antecedent

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

Weather.kif 1856-1860

measuringListInterval MeasuringList and Duracao Temporal Fisico e' um membro de MeasuringList
a duracao de tempo de existencia de Fisico e' Duracao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2219-2236	Funcao de Quantidade e' igual a Mean10MinutesWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 10 MinuteDuration(s) 120 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2341	Funcao de Quantidade e' igual a Mean1MinuteWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 1 MinuteDuration(s) 12 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2289-2306	Funcao de Quantidade e' igual a Mean2MinutesWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 2 MinuteDuration(s) 24 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2271	Funcao de Quantidade e' igual a Mean3MinutesWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 5 SecondDuration(s) measuringListDuration Entidade and 2 MinuteDuration(s) 36 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1900-1917	Funcao de Quantidade e' igual a Mean3SecondWindSpeedFn Area Geografica and Intervalo Temporal Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de MeasuringSurfaceWindSpeedList locationMeasuringList Entidade and Area Geografica measuringListInterval Entidade and 0.25 SecondDuration(s) measuringListDuration Entidade and 3 SecondDuration(s) 12 e' igual a comprimento de Entidade measuringResult Entidade and Entidade Entidade e' igual a PhysicalQuantityToNumberFn Entidade Funcao de Quantidade e' igual a AverageFn Entidade Entidade(s) vale durante Intervalo Temporal

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