TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SafetyDevice EnglishLanguage "Any Device that is designed to prevent (or lessen the likelihood of) the Injuring of a Human.")	Cars.kif 3352-3353
(subclass SafetyDevice Device)	Cars.kif 3350-3350	SafetyDevice ist eine teilkategorie von Device

appearance as argument number 2

(subclass ClimbingCarabiner SafetyDevice)	Mid-level-ontology.kif 30838-30838	ClimbingCarabiner ist eine teilkategorie von SafetyDevice
(subclass HearingProtection SafetyDevice)	Cars.kif 3444-3444	HearingProtection ist eine teilkategorie von SafetyDevice
(subclass Helmet SafetyDevice)	Cars.kif 4359-4359	Helmet ist eine teilkategorie von SafetyDevice
(subclass MotorcycleGlove SafetyDevice)	Cars.kif 4742-4742	MotorcycleGlove ist eine teilkategorie von SafetyDevice
(subclass ProtectiveEyewear SafetyDevice)	Cars.kif 3478-3478	ProtectiveEyewear ist eine teilkategorie von SafetyDevice
(subclass Respirator SafetyDevice)	Cars.kif 3526-3526	Respirator ist eine teilkategorie von SafetyDevice
(subclass SafetyHarness SafetyDevice)	Cars.kif 3419-3419	SafetyHarness ist eine teilkategorie von SafetyDevice
(subclass SafetyVest SafetyDevice)	Cars.kif 3555-3555	SafetyVest ist eine teilkategorie von SafetyDevice
(subclass VehicleSafetyDevice SafetyDevice)	Cars.kif 3375-3375	VehicleSafetyDevice ist eine teilkategorie von SafetyDevice
(termFormat EnglishLanguage SafetyDevice "safety device")	Cars.kif 3351-3351

antecedent

(=>
    (instance ?X SafetyDevice)
    (hasPurpose ?X
        (exists (?P ?H ?I ?T)
            (and
                (instance ?H Human)
                (instance ?P Process)
                (patient ?P ?H)
                (instrument ?P ?X)
                (prevents ?P
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (=>
                                (holdsDuring ?T
                                    (experiencer ?I ?H))
                                (not
                                    (holdsDuring ?T
                                        (patient ?P ?H)))))))))))

Cars.kif 3355-3373

Wenn Physical ist ein fall von SafetyDevice %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity, and und ** entity um ** ** entity ist ein fall von Human %n{nicht} und ** entity ist ein fall von Process %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} und ** entity verhindert das Auftreten von die kategorie die ** ** entity beschreibt %n{nicht}

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: