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 1032-1033
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1028-1030
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 1026-1026	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 2784-2784	Drizzling e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1091-1091	HeavyRaining e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2846-2846	RainShowering e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48694-48694
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1035-1035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48693-48693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48692-48692

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2948-2953	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 1037-1039	WeatherProcess e' uma instancia de Raining precipitationState WeatherProcess and Liquid
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1041-1054	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 2454-2465	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 2848-2862	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 2813-2838	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