TreeView Knowledge Base Browser - surfaceWindSpeed

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

surfaceWindSpeed

Sigma KEE - surfaceWindSpeed

surfaceWindSpeed

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11297-11303
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11294-11294	O argumento numero 1 de surfaceWindSpeed e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11295-11295	O argumento numero 2 de surfaceWindSpeed e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11293-11293	surfaceWindSpeed e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2423-2423
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2422-2422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2421-2421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56325-56325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56324-56324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56323-56323

antecedent

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

Merge.kif 11310-11318

Fisico e' uma instancia de Windy Fisico e' situado em Objeto Intervalo Temporal e' igual a tempo de existencia de Fisico surfaceWindSpeed Objeto and Numero Real MilesPerHour(s) vale durante Intervalo Temporal
Numero Real e' maior que 20.0

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1259-1280	Processo e' uma instancia de DustStorm Processo e' uma instancia de Wind Processo e' um sub-processo de Processo Transferencia Objeto, Objeto, Objeto, Objeto and Numero Real Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto surfaceWindSpeed Objeto and Numero Real KnotUnitOfSpeed(s) Numero Real e' maior que 30.0 Transferencia e' uma instancia de Translocation Transferencia e' um sub-processo de Processo objectTransferred Transferencia and Objeto objectTransferred Transferencia and Objeto Objeto e' uma instancia de ParticulateMatter Objeto e' uma instancia de Sand Objeto e' uma instancia de Area terrestre Transferencia termina em Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-484	Processo e' uma instancia de Wind Entidade e' uma instancia de BeaufortNumber12 eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de Entidade Numero Real Numero Real e' maior que 73.0 Agente Cognitivo acredita que surfaceWindSpeed Objeto and Numero Real MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	Processo e' uma instancia de Wind SpeedScaleAttribute e' uma instancia de BeaufortNumberAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que surfaceWindSpeed Objeto and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 136-145	Objeto e' uma instancia de WindFlow Objeto e' uma instancia de Objeto Objeto e' parcialmente localizado em Objeto elevation Objeto and Numero Real FootLength(s) Numero Real e' menor ou igual a 500.0 a medida de Objeto e' Medida de Comprimento por Duracao Temporal surfaceWindSpeed Objeto and Medida de Comprimento por Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 147-153	Fisico e' uma instancia de WindFlow Objeto e' uma instancia de Objeto Fisico e' parcialmente localizado em Objeto a medida de Fisico e' Numero Real KnotUnitOfSpeed(s) surfaceWindSpeed Objeto and Numero Real KnotUnitOfSpeed(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2610-2623	Fisico e' uma instancia de Blizzard Entidade Entidade and Entidade Entidade e' uma instancia de Area Geografica eventLocated Fisico and Entidade surfaceWindSpeed Entidade and Entidade KnotUnitOfSpeed(s) Entidade e' maior que 35.0 a duracao de tempo de existencia de Fisico e' Entidade HourDuration(s) Entidade e' maior que 3 vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2888-2897	Fisico e' uma instancia de Storm Entidade Entidade Entidade e' uma instancia de Area Geografica surfaceWindSpeed Entidade and Entidade KnotUnitOfSpeed(s) Entidade e' maior que 30.0 vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 132-134	surfaceWindVelocity Objeto, Quantidade Fisica and Atributo Directional surfaceWindSpeed Objeto and Quantidade Fisica

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