locationMeasuringList - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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	O argumento numero 1 de locationMeasuringList e' uma instancia de MeasuringList
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1762-1762	O argumento numero 2 de locationMeasuringList e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1763-1763	locationMeasuringList e' uma instancia de Predicado Binario

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 Area Geografica Processo e' um membro de MeasuringList
Processo e' uma instancia de Medir eventLocated Processo and Area Geografica

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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