DeviceOpen - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute DeviceOpen DeviceClosed)	ComputingBrands.kif 3645-3645	Device open is the opposite of device closed
(instance DeviceOpen DeviceStateAttribute)	Mid-level-ontology.kif 1866-1866	Device open is an instance of device state attribute

appearance as argument number 2

(termFormat ChineseLanguage DeviceOpen "设备打开")	domainEnglishFormat.kif 19373-19373
(termFormat ChineseTraditionalLanguage DeviceOpen "設備打開")	domainEnglishFormat.kif 19372-19372
(termFormat EnglishLanguage DeviceOpen "device open")	domainEnglishFormat.kif 19371-19371

antecedent

(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceOpen)))
    (holdsDuring ?T
        (not
            (attribute ?C RingTorus))))

Mid-level-ontology.kif 31085-31092