Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceOpen
DeviceOpen(device open)

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 1873-1873 Device open is an instance of device state attribute

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


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

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


(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceOpen)))
    (holdsDuring ?T
        (not
            (attribute ?C RingTorus))))
Mid-level-ontology.kif 30828-30835


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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