TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SafetyHarness SafetyDevice)	Cars.kif 3284-3284	Safety harness is a subclass of safety device
(subclass SafetyHarness WearableItem)	Cars.kif 3285-3285	Safety harness is a subclass of wearable item
(documentation SafetyHarness EnglishLanguage "A SafetyDevice designed to protect a person from Injuring. The SafetyHarness is an attachment between a stationary and non_stationary object and is usually fabricated from rope, cable or webbing and locking hardware.")	Cars.kif 3286-3286	Safety harness is a subclass of wearable item
(externalImage SafetyHarness "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 6a/ US_Navy_090427-N-2893B-001_ATLANTIC_OCEAN_%28April_27%29_-_USS_Constitution_crewmember_Aviation_Electrician%27s_Mate_2nd_Class%2C_Tony_Barnardo%2C_clips_a_safety_harness_onto_the_foremast_topsail_yard.jpg/ 428px_thumbnail.jpg")	pictureList.kif 1557-1557	Safety harness is a subclass of wearable item

appearance as argument number 2

(termFormat EnglishLanguage SafetyHarness "safety harness")	domainEnglishFormat.kif 50776-50776
(termFormat ChineseTraditionalLanguage SafetyHarness "安全套")	domainEnglishFormat.kif 50777-50777
(termFormat ChineseLanguage SafetyHarness "安全套")	domainEnglishFormat.kif 50778-50778

antecedent

(=>
    (and
        (instance ?SH SafetyHarness)
        (instance ?PERSON Animal)
        (wears ?PERSON ?SH))
    (hasPurpose ?SH
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (instrument ?PROC ?SH)
                (patient ?PROC ?PERSON)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?F ?H ?T)
                                (and
                                    (instance ?H Human)
                                    (experiencer ?I ?H)
                                    (instance ?F Falling)
                                    (experiencer ?F ?H)
                                    (causes ?F ?I)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)))))

Cars.kif 3254-3282

If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: