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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceClosed
DeviceClosed(device closed)

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


(instance DeviceClosed DeviceStateAttribute) Mid-level-ontology.kif 1867-1867 Device closed is an instance of device state attribute

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


(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3645-3645 Device open is the opposite of device closed
(termFormat ChineseLanguage DeviceClosed "设备关闭") domainEnglishFormat.kif 19344-19344
(termFormat ChineseTraditionalLanguage DeviceClosed "設備關閉") domainEnglishFormat.kif 19343-19343
(termFormat EnglishLanguage DeviceClosed "device closed") domainEnglishFormat.kif 19342-19342

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


(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (attribute ?C RingTorus)))
Mid-level-ontology.kif 30807-30813
(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (modalAttribute
            (exists (?R)
                (and
                    (instance ?R ClimbingRope)
                    (contains ?C ?R))) Possibility)))
Mid-level-ontology.kif 30815-30826


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