RadiatingLight - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RadiatingLight

RadiatingLight(Luz Irradiante)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3328-3329
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13697-13699
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13696-13696	Luz Irradiante e' uma sub-classe de RadiatingElectromagnetic

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 589-589	RadiatingInfrared e' disjunto de Luz Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 596-596	RadiatingUltraviolet e' disjunto de Luz Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 630-630	FlashingLight e' uma sub-classe de Luz Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 612-612	RadiatingVisibleLight e' uma sub-classe de Luz Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 573-573	ReflectingLight e' uma sub-classe de Luz Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 626-626	Sunlight e' uma sub-classe de Luz Irradiante
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1223-1223
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1667-1667
No TPTP formula. May not be expressible in strict first order.	french_format.kif 901-901
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 434-434
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 437-437
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 853-853
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 473-473
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 922-922
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 438-438

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13701-13706	Processo e' uma instancia de Luz Irradiante Objeto e' um patient de Processo Objeto e' uma instancia de Regiao Illuminated e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 617-624	Entidade e' uma instancia de Luz Irradiante AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Visao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de RadiatingVisibleLight

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 636-654	Processo e' uma instancia de FlashingLight Processo tem como origem Objeto Processo Intervalo Temporal and Processo Processo e' uma instancia de Luz Irradiante Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' uma instancia de Luz Irradiante tempo de existencia de Processo encontra Intervalo Temporal Intervalo Temporal encontra tempo de existencia de Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Luz Irradiante Intervalo Temporal tem como origem Objeto tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1589-1597	Processo e' uma instancia de Medir Objeto e' um instrumento para Processo Objeto e' uma instancia de RTPCRTest Processo Processo e' uma instancia de Luz Irradiante Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Media.kif 1192-1202	Entidade e' uma instancia de BluRayDisc Processo e' uma instancia de Decodificar Entidade e' um patient de Processo Objeto Objeto e' uma instancia de Luz Irradiante Objeto e' um instrumento para Processo wavelength Objeto and 405 Nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1156-1166	Entidade e' uma instancia de CompactDisc Processo e' uma instancia de Decodificar Entidade e' um patient de Processo Objeto Objeto e' uma instancia de Luz Irradiante Objeto e' um instrumento para Processo wavelength Objeto and 780 Nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1257-1267	Entidade e' uma instancia de DVD Processo e' uma instancia de Decodificar Entidade e' um patient de Processo Objeto Objeto e' uma instancia de Luz Irradiante Objeto e' um instrumento para Processo wavelength Objeto and 650 Nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27006-27032	Fisico e' uma instancia de SurveillanceSystem Fisico e' membro de Colecao Fisico e' membro de Colecao Colecao e' situado em Objeto Colecao e' uma instancia de Camera Colecao e' situado em Objeto Objeto e' igual a Objeto Colecao e' uma instancia de VideoDisplay Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Objeto Entidade define Entidade Camera e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Luz Irradiante Colecao e' um instrumento para Entidade Entidade e' um patient de Entidade o comeco de Entidade comeca antes de o comeco de Entidade o comeco de Entidade comeca antes de o comeco de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15179-15191	Translucent e' um atributo de Objeto o argumento Entidade Entidade and ObjetoBJ Entidade e' uma instancia de Luz Irradiante Entidade e' um recurso para Entidade Entidade termina em ObjetoBJ Objeto esta' entre Entidade e ObjetoBJ Illuminated e' um atributo de ObjetoBJ vale durante tempo de existencia de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13708-13714	Illuminated e' um atributo de Objeto Processo Processo e' uma instancia de Luz Irradiante Objeto e' um patient de Processo Objeto e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12622-12629	Processo e' uma instancia de Combustao Processo Processo Processo e' uma instancia de Aquecer Processo e' uma instancia de Luz Irradiante Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5072-5074	Objeto e' uma instancia de LightBulb Objeto e' capaz de fazer Luz Irradiante no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3011-3013	Objeto e' uma instancia de LightFixture Objeto e' capaz de fazer Luz Irradiante no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14482-14497	Fisico e' uma instancia de MediaSystem Fisico tem por fim Entidade Entidade Entidade e' uma instancia de VideoRecording Entidade e' uma instancia de Luz Irradiante Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade Entidade Entidade e' uma instancia de AudioRecording Entidade e' uma instancia de Som Irradiante Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 1387-1407	Fisico e' uma instancia de VCRSystem Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de VHSCassette Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de VideoRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de AudioRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Luz Irradiante Entidade e' um patient de Entidade Entidade e' um sub-processo de Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um patient de Entidade Entidade e' um sub-processo de Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 1275-1301	Fisico e' uma instancia de DVDSystem Fisico tem por fim Entidade Entidade Entidade e' uma instancia de DVD Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade Entidade and Entidade Entidade e' uma instancia de VideoRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Luz Irradiante Entidade e' um sub-processo de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade Entidade and Entidade Entidade e' uma instancia de AudioRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um sub-processo de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26262-26276	Fisico e' uma instancia de MultimediaProjector Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Luz Irradiante Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de VideoRecording Entidade e' uma instancia de Image Entidade termina em Entidade Entidade e' uma instancia de Artefato Flat e' um atributo de Entidade Fisico e' conectado com Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26300-26308	Fisico e' uma instancia de VideoDisplay Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Luz Irradiante Entidade e' uma instancia de VideoRecording Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25921-25936	Fisico e' uma instancia de VideoGamePlayer Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de VideoGame Fisico e' um instrumento para Entidade Entidade e' um agente de Entidade Entidade e' uma instancia de Manobra Entidade e' um instrumento para Entidade Entidade e' um agente de Entidade Entidade e' um sub-processo de Entidade Entidade e' uma &parte de Fisico Entidade e' uma instancia de Luz Irradiante Entidade e' um agente de Fisico Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14460-14466	Objeto e' uma instancia de VideoRecording Entidade Entidade e' uma instancia de Processo Objeto define Entidade Objeto e' capaz de fazer Luz Irradiante no role patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1506-1519	roomAmenity HotelUnit and Filme Objeto Fisico and Entidade Objeto e' uma instancia de HotelUnit Fisico e' uma instancia de MediaSystem Fisico e' situado em Objeto Entidade e' uma instancia de Filme o argumento ObjetoL ObjetoL e' uma instancia de Luz Irradiante Fisico e' um instrumento para ObjetoL Entidade e' um patient de ObjetoL tem a forca modal de Possibility

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