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	Son irradiant est une sous-classe de irradier

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23860-23860	Barking est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13089-13089	Clapping est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2630-2630	Echoing est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13718-13718	MakingMusic est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 764-764	MusicalTone est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 770-770	RadiatingSoundUltrasonic est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Music.kif 1348-1348	Ringing est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3051-3051	Thunder est une sous-classe de son irradiant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13737-13737	Vocalizing est une sous-classe de son irradiant
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

Le nombre 1 argument de loudness est une instance de son irradiant

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13703-13710	Processus est une instance de son irradiant processus est un agent de AutonomousAgent attribut attribut est une instance de attribut sonore attribut est un attribut de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13632-13646	Processus est une instance de son irradiant processus est un agent de AutonomousAgent Audible est un attribut de processus objet cha�ne sympbolique objet est une instance de humain objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le agent

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Physique est une instance de KnockLight physique est situ� � objet objet est une instance de pi�ce objet est une instance de Door objet est une partie de objet physique a pour but entit� entit� and entit� entit� est une instance de impacte objet est un patient de entit� entit� cause entit� entit� est une instance de son irradiant entit� est un agent de objet entit� cause entit� entit� est une instance de RadiatingVisibleLight physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	Objet est une instance de CarAlarm objet est une instance de SelfPoweredRoadVehicle objet est une partie de objet entit� entit�, entit� and entit� objet a pour but entit� est une instance de Stealing entit� est une instance de endommager entit� est une instance de humain entit� est un agent de entit� objet est un patient de entit� temps d'existence de entit� est entit� eventPartlyLocated entit� and entit� entit� entit� est une instance de son irradiant entit� est un agent de objet entit� cause entit� entit� a pour but entit� entit� est une instance de humain entit� est Near � entit� pendant entit� augmente la probabilit� de entit� conna�t entit� entit� est une instance de Stealing entit� est une instance de endommager eventPartlyLocated entit� and entit� objet est un patient de entit� pendant entit� temps d'existence de entit� finit temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26463	Objet est une instance de FireAlarm DeviceOn est un attribut de objet objet est situ� � objet processus processus est une instance de son irradiant objet est un instrument pour processus processus a pour but entit� entit� est une instance de GroupOfPeople entit� est situ� � objet entit� conna�t entit� entit� est une instance de Fire eventLocated entit� and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25529-25543	Physique est une instance de AlarmClock physique a pour but entit� entit� and entit� entit� est une instance de mesurer entit� est un agent de physique entit� est le resultat de entit� entit� est entit� entit� entit� est une instance de son irradiant entit� est un agent de physique pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Media.kif 1209-1223	Physique est une instance de AudioCDSystem physique a pour but entit� entit�, entit�, entit� and entit� physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de CompactDisc entit� est une instance de AudioRecording entit� d�finie entit� entit� est une partie de entit� entit� est une instance de son irradiant entit� est un sous-processus de entit� physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14454-14469	Physique est une instance de MediaSystem physique a pour but entit� entit� entit� est une instance de VideoRecording entit� est une instance de lumi�re irradiante entit� est un patient de entit� physique est un instrument pour entit� entit� entit� entit� est une instance de AudioRecording entit� est une instance de son irradiant entit� est un patient de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14313-14319	ContentBearingPhysical est une instance de AudioRecording proposition processus ContentBearingPhysical contient information proposition processus exprime le contenu de proposition processus est une instance de son irradiant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2626-2628	Objet est une instance de Sonar objet est capable de faire son irradiant dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 480-482	Objet est une instance de SpeakerDevice objet est capable de faire son irradiant dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Media.kif 1387-1407	Physique est une instance de VCRSystem physique a pour but entit� entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de VHSCassette physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de VideoRecording entit� d�finie entit� entit� est une partie de entit� entit� est une instance de AudioRecording entit� d�finie entit� entit� est une partie de entit� entit� est une partie de entit� entit� est une instance de lumi�re irradiante entit� est un patient de entit� entit� est un sous-processus de entit� entit� est une instance de son irradiant entit� est un patient de entit� entit� est un sous-processus de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26238-26248	Physique est une instance de AudioRecorder physique a pour but entit� entit� and entit� entit� est une instance de son irradiant entit� est une instance de processus intentionnel physique est un instrument pour entit� entit� est un patient de entit� entit� est le resultat de entit� entit� est une instance de AudioRecording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14305-14311	Objet est une instance de AudioRecording entit� entit� est une instance de son irradiant objet d�finie entit� objet est capable de faire son irradiant dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	Composant d'un appareil est une instance de BabyMonitoringSystem composant d'un appareil composant d'un appareil composant d'un appareil est une instance de RadioReceiver composant d'un appareil est une instance de appareil composant d'un appareil est un composant de composant d'un appareil composant d'un appareil est un composant de composant d'un appareil composant d'un appareil a pour but entit� entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de HumanBaby entit� est une instance de humain entit� est situ� � entit� entit� est situ� � entit� entit� est entit� entit� est une instance de maintenir entit� est un patient de entit� entit� est un agent de entit� composant d'un appareil est situ� � entit� composant d'un appareil est situ� � entit� entit� est une instance de son irradiant eventLocated entit� and entit� entit� est une instance de RadioEmission entit� est un patient de entit� entit� aboutit � composant d'un appareil entit� est un agent de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Media.kif 1275-1301	Physique est une instance de DVDSystem physique a pour but entit� entit� entit� est une instance de DVD physique est un instrument pour entit� entit� est un patient de entit� entit� entit� and entit� entit� est une instance de VideoRecording entit� d�finie entit� entit� est une partie de entit� entit� est une instance de lumi�re irradiante entit� est un sous-processus de entit� physique est un instrument pour entit� entit� est un patient de entit� entit� entit� and entit� entit� est une instance de AudioRecording entit� d�finie entit� entit� est une partie de entit� entit� est une instance de son irradiant entit� est un sous-processus de entit� physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26041-26062	Physique est une instance de Earphone physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de ElectricalSignalling entit� est un patient de entit� entit� aboutit � physique entit� est une instance de processus physique est un instrument pour entit� entit� est un patient de entit� entit� est le resultat de entit� entit� est une instance de son irradiant entit� a pour origine physique le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de Ear physique est Adjacent � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26092-26110	Physique est une instance de PublicAddressSystem physique a pour but entit� entit� and entit� entit� est une instance de zone de terre physique est situ� � entit� entit� est une instance de GroupOfPeople entit� est situ� � entit� entit� est une instance de son irradiant physique est un instrument pour entit� entit� entit� est un membre de entit� entit� entit� est une instance de entendre entit� est un patient de entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26027-26034	Physique est une instance de SpeakerDevice physique a pour but entit� entit� est une instance de son irradiant physique est un instrument pour entit� Audible est un attribut de entit�

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: