TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage DeviceOpen "device open")	domainEnglishFormat.kif 19362-19362
(termFormat ChineseTraditionalLanguage DeviceOpen "設備打開")	domainEnglishFormat.kif 19363-19363
(termFormat ChineseLanguage DeviceOpen "设备打开")	domainEnglishFormat.kif 19364-19364

antecedent

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