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

Formal Language: 



KB Term:  Term intersection
English Word: 

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