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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeviceOpen

Sigma KEE - DeviceOpen
DeviceOpen

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


(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3645-3645
(instance DeviceOpen DeviceStateAttribute) Mid-level-ontology.kif 1866-1866

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 30852-30859


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 is open source software produced by Articulate Software and its partners