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 3360-3361
(subclass SafetyDevice Device)	Cars.kif 3358-3358	SafetyDevice はデバイスの subclass では %n

appearance as argument number 2

(subclass ClimbingCarabiner SafetyDevice)	Mid-level-ontology.kif 30826-30826	ClimbingCarabiner は SafetyDevice の subclass では %n
(subclass HearingProtection SafetyDevice)	Cars.kif 3452-3452	HearingProtection は SafetyDevice の subclass では %n
(subclass Helmet SafetyDevice)	Cars.kif 4367-4367	Helmet は SafetyDevice の subclass では %n
(subclass MotorcycleGlove SafetyDevice)	Cars.kif 4750-4750	MotorcycleGlove は SafetyDevice の subclass では %n
(subclass ProtectiveEyewear SafetyDevice)	Cars.kif 3486-3486	ProtectiveEyewear は SafetyDevice の subclass では %n
(subclass Respirator SafetyDevice)	Cars.kif 3534-3534	Respirator は SafetyDevice の subclass では %n
(subclass SafetyHarness SafetyDevice)	Cars.kif 3427-3427	SafetyHarness は SafetyDevice の subclass では %n
(subclass SafetyVest SafetyDevice)	Cars.kif 3563-3563	SafetyVest は SafetyDevice の subclass では %n
(subclass VehicleSafetyDevice SafetyDevice)	Cars.kif 3383-3383	VehicleSafetyDevice は SafetyDevice の subclass では %n
(termFormat EnglishLanguage SafetyDevice "safety device")	Cars.kif 3359-3359

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 3363-3381

物理は SafetyDevice の instance では %n
物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは人［人間］の instance では %n エンティティーは工程の instance では %n エンティティーはエンティティーの patient では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーで記述される class の出来事を prevents %n{ない} の目的 %n{ない}

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: