RadiatingSound - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3333-3334
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13699-13701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 745-745
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13698-13698	Som Irradiante e' uma sub-classe de Irradiar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23860-23860	Barking e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13089-13089	Clapping e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2630-2630	Echoing e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13718-13718	MakingMusic e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 764-764	MusicalTone e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 770-770	RadiatingSoundUltrasonic e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Music.kif 1348-1348	Ringing e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3051-3051	Thunder e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13737-13737	Vocalizing e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1224-1224
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1669-1669
No TPTP formula. May not be expressible in strict first order.	french_format.kif 902-902
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 435-435
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 438-438
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 854-854
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 474-474
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 923-923
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 439-439

appearance as argument number 3

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

Mid-level-ontology.kif 13727-13727

O argumento numero 1 de loudness e' uma instancia de Som Irradiante

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13703-13710	Processo e' uma instancia de Som Irradiante Processo e' um agente de AutonomousAgent Atributo Atributo e' uma instancia de Atributo Sonoro Atributo e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13632-13646	Processo e' uma instancia de Som Irradiante Processo e' um agente de AutonomousAgent Audible e' um atributo de Processo Objeto Sequencia Simbolica Objeto e' uma instancia de Humano Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role agent

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Fisico e' uma instancia de KnockLight Fisico e' situado em Objeto Objeto e' uma instancia de Comodo Objeto e' uma instancia de Door Objeto e' uma &parte de Objeto Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Impactar Objeto e' um patient de Entidade Entidade causa Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade e' uma instancia de RadiatingVisibleLight Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto Entidade Entidade, Entidade and Entidade Objeto tem por fim Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26463	Objeto e' uma instancia de FireAlarm DeviceOn e' um atributo de Objeto Objeto e' situado em Objeto Processo Processo e' uma instancia de Som Irradiante Objeto e' um instrumento para Processo Processo tem por fim Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Objeto Entidade sabe Entidade Entidade e' uma instancia de Fire eventLocated Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25529-25543	Fisico e' uma instancia de AlarmClock Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Medir Entidade e' um agente de Fisico Entidade e' o resultado de Entidade Entidade e' igual a Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Fisico vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 1209-1223	Fisico e' uma instancia de AudioCDSystem Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de CompactDisc 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 14454-14469	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.	Mid-level-ontology.kif 14313-14319	ContentBearingPhysical e' uma instancia de AudioRecording Proposicao Processo ContentBearingPhysical contem informacao Proposicao Processo exprime o conteudo de Proposicao Processo e' uma instancia de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2626-2628	Objeto e' uma instancia de Sonar Objeto e' capaz de fazer Som Irradiante no role agent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 480-482	Objeto e' uma instancia de SpeakerDevice Objeto e' capaz de fazer Som Irradiante no role instrument
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.	Mid-level-ontology.kif 26238-26248	Fisico e' uma instancia de AudioRecorder Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Som Irradiante Entidade e' uma instancia de Processo Intencional Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de AudioRecording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14305-14311	Objeto e' uma instancia de AudioRecording Entidade Entidade e' uma instancia de Som Irradiante Objeto define Entidade Objeto e' capaz de fazer Som Irradiante no role patient
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	Componente de Engenharia e' uma instancia de BabyMonitoringSystem Componente de Engenharia Componente de Engenharia Componente de Engenharia e' uma instancia de RadioReceiver Componente de Engenharia e' uma instancia de Aparelho Componente de Engenharia e' um componente de Componente de Engenharia Componente de Engenharia e' um componente de Componente de Engenharia Componente de Engenharia tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de HumanBaby Entidade e' uma instancia de Humano Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Preservar Entidade e' um patient de Entidade Entidade e' um agente de Entidade Componente de Engenharia e' situado em Entidade Componente de Engenharia e' situado em Entidade Entidade e' uma instancia de Som Irradiante eventLocated Entidade and Entidade Entidade e' uma instancia de RadioEmission Entidade e' um patient de Entidade Entidade termina em Componente de Engenharia Entidade e' um agente de Componente de Engenharia
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 26041-26062	Fisico e' uma instancia de Earphone Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de ElectricalSignalling Entidade e' um patient de Entidade Entidade termina em Fisico Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Som Irradiante Entidade tem como origem Fisico o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade Entidade e' uma instancia de Ear Fisico e' Adjacent em relacao a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26092-26110	Fisico e' uma instancia de PublicAddressSystem Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Area terrestre Fisico e' situado em Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Entidade Entidade e' uma instancia de Som Irradiante Fisico e' um instrumento para Entidade Entidade Entidade e' membro de Entidade Entidade Entidade e' uma instancia de Ouvir Entidade e' um patient de Entidade Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26027-26034	Fisico e' uma instancia de SpeakerDevice Fisico tem por fim Entidade Entidade e' uma instancia de Som Irradiante Fisico e' um instrumento para Entidade Audible e' um atributo de Entidade

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

KB Term:			Term intersection

English Word: