TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3027-3027
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11279-11279
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1792-1792
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 839-839
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2064-2064
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11278-11278	Wind e' uma sub-classe de GasMotion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1237-1237	Wind e' uma sub-classe de WeatherProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1245-1245	ChinookWind e' uma sub-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1244-1244	Ghibli e' uma sub-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1241-1241	HarmattanWind e' uma sub-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1242-1242	Khamsin e' uma sub-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1243-1243	Mistral e' uma sub-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1240-1240	Sirocco e' uma sub-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1239-1239	StrongWind e' uma sub-classe de Wind
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63099-63099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63098-63098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63097-63097

appearance as argument number 3

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

Weather.kif 327-327

O argumento numero 1 de windDrivenMotion e' uma instancia de Wind

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1271-1292	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 125-130	Regiao e' uma instancia de Objeto Fisico e' uma instancia de Wind a medida de Fisico e' Medida de Comprimento por Duracao Temporal Regiao na direcao Atributo Directional surfaceWindVelocity Regiao, Medida de Comprimento por Duracao Temporal and Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	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 349-366	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.	Merge.kif 11286-11294	Fisico e' uma instancia de Wind 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14821-14826	Processo e' uma instancia de Wind Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Air

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 343-347	Atributo e' uma instancia de BeaufortNumberAttribute Entidade tem um atributo de Atributo Entidade e' uma instancia de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	surfaceWindVelocity Regiao, Medida de Comprimento por Duracao Temporal and Atributo Directional Regiao e' uma instancia de WindFlow Processo Processo e' uma instancia de Wind eventPartlyLocated Processo and Regiao a medida de Processo e' Medida de Comprimento por Duracao Temporal Regiao na direcao Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2297-2303	Fisico e' uma instancia de FanDevice Fisico tem por fim Entidade Entidade e' uma instancia de Wind Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 94-99	Objeto e' uma instancia de WindFlow Processo Processo e' uma instancia de Wind eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1305-1316	Processo e' uma instancia de WindSurfing Objeto Objeto, Processo and Processo Objeto e' uma instancia de WindSurfingBoard Objeto e' uma instancia de Area Aquatica Processo e' uma instancia de Wind Processo e' uma instancia de Movimento eventLocated Processo and Objeto Processo e' um sub-processo de Processo Objeto e' um instrumento para Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	surfaceWindDirection Objeto and Atributo Directional Processo Objeto Processo e' uma instancia de Wind Objeto e' uma instancia de Regiao eventPartlyLocated Processo and Objeto Processo tem como origem Objeto Objeto e' Atributo Directional em relacao a Objeto

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

KB Term:			Term intersection

English Word: