Sigma KB Term Intersection

(=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP)))))	Cars.kif 3447-3476	Wenn WearableItem ist ein fall von HearingProtection %n{nicht} und Animal ist ein fall von Human %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Process %n{nicht} und entity ist eine teilkategorie von die kategorie die entity beschreibt und entity verhindert das Auftreten von entity und WearableItem ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(subclass RadiatingSound Radiating)	Merge.kif 13676-13676	RadiatingSound ist eine teilkategorie von Radiating
(subclass Ringing RadiatingSound)	Music.kif 1348-1348	Ringing ist eine teilkategorie von RadiatingSound
(subclass MusicalTone RadiatingSound)	Mid-level-ontology.kif 764-764	MusicalTone ist eine teilkategorie von RadiatingSound
(subclass RadiatingSoundUltrasonic RadiatingSound)	Mid-level-ontology.kif 770-770	RadiatingSoundUltrasonic ist eine teilkategorie von RadiatingSound
(subclass Echoing RadiatingSound)	Mid-level-ontology.kif 2630-2630	Echoing ist eine teilkategorie von RadiatingSound
(subclass Thunder RadiatingSound)	Mid-level-ontology.kif 3051-3051	Thunder ist eine teilkategorie von RadiatingSound
(subclass Clapping RadiatingSound)	Mid-level-ontology.kif 13090-13090	Clapping ist eine teilkategorie von RadiatingSound
(subclass Barking RadiatingSound)	Mid-level-ontology.kif 23861-23861	Barking ist eine teilkategorie von RadiatingSound
(subclass MakingMusic RadiatingSound)	Merge.kif 13696-13696	MakingMusic ist eine teilkategorie von RadiatingSound
(subclass Vocalizing RadiatingSound)	Merge.kif 13715-13715	Vocalizing ist eine teilkategorie von RadiatingSound

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