TreeView 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 13816-13818
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 13815-13815	Radiating sound is a subclass of radiating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25509-25509	Barking is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14421-14421	Clapping is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3093-3093	Echoing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13835-13835	Making music is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 757-757	Musical tone is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 763-763	Radiating sound ultrasonic is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Music.kif 1350-1350	Ringing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1014-1014	Thunder is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13854-13854	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1224-1224	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1669-1669	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	french_format.kif 902-902	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 435-435	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 438-438	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2586-2586	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 854-854	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 474-474	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 733-733	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 923-923	Vocalizing is a subclass of radiating sound
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 439-439	Vocalizing is a subclass of radiating sound

appearance as argument number 3

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

Mid-level-ontology.kif 15099-15099

The number 1 argument of loudness is an instance of radiating sound

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13827	If a process is an instance of radiating sound and an agent is an agent of the process, then there exists an attribute such that the attribute is an instance of sound attribute and the attribute is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13749-13763	If a process is an instance of radiating sound and an agent is an agent of the process and audible is an attribute of the process, then there exist an object and a symbolic string such that the object is an instance of human and the object is capable of doing the class described by the symbolic string as a agent

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27721-27738	If a physical is an instance of knock light and the physical is located at an object and the object is an instance of room and another object is an instance of door and the other object is a part of the object, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of impacting and the other object is a patient of the entity and the entity causes the other entity and the other entity is an instance of radiating sound and the other object is an agent of the other entity and the other entity causes the third entity and the third entity is an instance of radiating visible light and the physical is an instrument for the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3771-3812	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28358-28376	If an object is an instance of fire alarm and device on is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process has the purpose there exists an entity such that the entity is an instance of group of people and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of fire and the other entity is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27194-27208	If a physical is an instance of alarm clock, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of measuring and the physical is an agent of the other entity and the third entity is a result of the other entity and the third entity is equal to the entity and there exists a fourth entity such that the fourth entity is an instance of radiating sound and the physical is an agent of the fourth entity holds during the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1211-1225	If a physical is an instance of cd player, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the physical is an instrument for the fifth entity and the entity is a patient of the fifth entity and the entity is an instance of compact disc and the other entity is an instance of audio recording and the fourth entity expresses the other entity and the fourth entity is a part of the entity and the third entity is an instance of radiating sound and the third entity is a subprocess of the fifth entity and the physical is an instrument for the third entity and the entity is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15826-15841	If a physical is an instance of media system, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of video recording and the other entity is an instance of radiating light and the entity is a patient of the other entity and the physical is an instrument for the other entity or there exist a third entity and a fourth entity such that the third entity is an instance of audio recording and the fourth entity is an instance of radiating sound and the third entity is a patient of the fourth entity and the physical is an instrument for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15685-15691	If a content bearing physical is an instance of audio recording, then there exist a proposition and a process such that the content bearing physical contains information the proposition and the process expresses the content of the proposition and the process is an instance of radiating sound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3089-3091	If an object is an instance of sonar, then the object is capable of doing radiating sound as a agent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 480-482	If an object is an instance of speaker, then the object is capable of doing radiating sound as a instrument
No TPTP formula. May not be expressible in strict first order.	Media.kif 1389-1409	If a physical is an instance of vcr system, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the entity is an instance of VHS cassette and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is an instance of video recording and the fourth entity expresses the third entity and the third entity is a part of the entity and the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the fourth entity and the sixth entity is a part of the entity and the fifth entity is an instance of radiating light and the third entity is a patient of the fifth entity and the fifth entity is a subprocess of the other entity and the eighth entity is an instance of radiating sound and the sixth entity is a patient of the eighth entity and the eighth entity is a subprocess of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28151-28161	If a physical is an instance of audio recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating sound and the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a patient of the third entity and the other entity is a result of the third entity and the other entity is an instance of audio recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15677-15683	If an object is an instance of audio recording, then there exists an entity such that the entity is an instance of radiating sound and the object expresses the entity and the object is capable of doing radiating sound as a patient
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	If an engineering component is an instance of baby monitor, then there exist another engineering component and a third engineering component such that the third engineering component is an instance of radio receiver and the other engineering component is an instance of device and the third engineering component is a component of the engineering component and the other engineering component is a component of the engineering component and the engineering component has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity and a seventh entity such that the entity is an instance of human baby and the other entity is an instance of human and the entity is located at the fourth entity and the other entity is located at the fifth entity and the fourth entity is not equal to the fifth entity and the sixth entity is an instance of maintaining and the entity is a patient of the sixth entity and the other entity is an agent of the sixth entity and the other engineering component is located at the fourth entity and the third engineering component is located at the fifth entity and the third entity is an instance of radiating sound and the third entity is located at the fourth entity and the seventh entity is an instance of radio emission and the third entity is a patient of the seventh entity and the seventh entity ends up at the third engineering component and the other engineering component is an agent of the seventh entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1277-1303	If a physical is an instance of dvd player, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of DVD and the physical is an instrument for the other entity and the entity is a patient of the other entity and there exist a third entity, a fourth entity and a fifth entity such that the third entity is an instance of video recording and the fourth entity expresses the third entity and the fourth entity is a part of the entity and the fifth entity is an instance of radiating light and the fifth entity is a subprocess of the other entity and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity or there exist a sixth entity, a seventh entity and a eighth entity such that the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the entity and the eighth entity is an instance of radiating sound and the eighth entity is a subprocess of the other entity and the physical is an instrument for the eighth entity and the sixth entity is a patient of the eighth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27953-27974	If a physical is an instance of earphone, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28004-28022	If a physical is an instance of public address system, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of land area and the physical is located at the other entity and the third entity is an instance of group of people and the third entity is located at the other entity and the entity is an instance of radiating sound and the physical is an instrument for the entity and for all a fourth entity if the fourth entity is a member of the third entity, then there exists a fifth entity such that the fifth entity is an instance of hearing and the entity is a patient of the fifth entity and the fourth entity is an agent of the fifth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27939-27946	If a physical is an instance of speaker, then the physical has the purpose there exists an entity such that the entity is an instance of radiating sound and the physical is an instrument for the entity and audible is an attribute of the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: