KB Term:  Term intersection
English Word: 

  DeviceClosed

 Sigma KEE - DeviceClosed
DeviceClosed(device closed)

appearance as argument number 1
-------------------------


(instance DeviceClosed DeviceStateAttribute) Mid-level-ontology.kif 2442-2442 Device closed is an instance of device state attribute

appearance as argument number 2
-------------------------


(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3551-3551 Device open is the opposite of device closed
(termFormat EnglishLanguage DeviceClosed "device closed") domainEnglishFormat.kif 19344-19344 Device open is the opposite of device closed
(termFormat ChineseTraditionalLanguage DeviceClosed "設備關閉") domainEnglishFormat.kif 19345-19345 Device open is the opposite of device closed
(termFormat ChineseLanguage DeviceClosed "设备关闭") domainEnglishFormat.kif 19346-19346 Device open is the opposite of device closed

antecedent
-------------------------


(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (attribute ?C RingTorus)))		 Mid-level-ontology.kif 33404-33410 If X is an instance of karabiner and device closed is an attribute of X holds during Y, then ring torus is an attribute of X holds during Y
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (modalAttribute
            (exists (?R)
                (and
                    (instance ?R ClimbingRope)
                    (contains ?C ?R))) Possibility)))		 Mid-level-ontology.kif 33412-33423 If X is an instance of karabiner and device closed is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of climbing rope and X contains Z has the modal force of possibility holds during Y


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-a0cce400 (2026-06-02) is open source software produced by Articulate Software and its partners