Raining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Raining

Raining

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1044-1045
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1040-1042
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2326-2326
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1946-1946
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2325-2325
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1038-1038	Raining e' uma sub-classe de Precipitation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2493-2493	AcidRainfall e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2797-2797	Drizzling e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1103-1103	HeavyRaining e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2859-2859	RainShowering e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48692-48692
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1047-1047
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48691-48691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48690-48690

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2961-2966	Transferencia e' uma instancia de Raining Objeto Objeto e' uma instancia de Rain objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1049-1051	WeatherProcess e' uma instancia de Raining precipitationState WeatherProcess and Liquid
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1053-1066	Entidade e' uma instancia de Raining Entidade Entidade and Classe Entidade e' uma instancia de Colecao Entidade e' uma instancia de Agua Entidade e' uma instancia de LiquidDrop Entidade e' uma instancia de Classe

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	Intervalo Temporal e' uma instancia de Drought eventLocated Intervalo Temporal and Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de Raining Objeto e' uma instancia de Regiao eventLocated Intervalo Temporal and Objeto Objeto engloba Objeto Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2861-2875	Fisico e' uma instancia de RainShowering Entidade Entidade and Entidade Entidade e' uma instancia de Raining Entidade e' uma instancia de Raining Entidade e' uma instancia de Regiao Entidade e' um sub-processo de Fisico Entidade e' um sub-processo de Fisico eventLocated Entidade and Entidade eventLocated Entidade and Entidade tempo de existencia de Entidade nao engloba %n tempo de existencia de Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2826-2851	rainfallIntensity Area Geografica, Intervalo Temporal and Funcao de Quantidade Transferencia Colecao, Fisico, Objeto auto-conectado, Entidade, Objeto auto-conectado and TransferenciaFALL Transferencia e' uma instancia de Raining eventLocated Transferencia and Area Geografica tempo de existencia de Transferencia acontece durante Intervalo Temporal Colecao e' uma instancia de Colecao objectTransferred Transferencia and Colecao Fisico e' uma instancia de Agua Fisico e' membro de Colecao Objeto auto-conectado e' uma instancia de Container o fundo de Objeto auto-conectado e' Objeto auto-conectado Flat e' um atributo de Objeto auto-conectado Objeto auto-conectado e' situado em Area Geografica ContainerEmpty e' um atributo de Objeto auto-conectado vale durante o comeco de Intervalo Temporal Colecao e' situado em Objeto auto-conectado o topo de Colecao e' Entidade depth Entidade, Objeto auto-conectado and TransferenciaFALL TransferenciaFALL e' igual a Intervalo Temporal + Funcao de Quantidade vale durante o fim de 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