Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 2442-2442 Device closed is an instance of device state attribute

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


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

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


(=>
    (and
        (instance ?C Carabiner)
        (holdsDuring ?T
            (attribute ?C DeviceClosed)))
    (holdsDuring ?T
        (attribute ?C RingTorus)))		 Mid-level-ontology.kif 33404-33410 If X is an instance of karabiner and device closed is an attribute of X holds during Y, then ring torus is an attribute of X holds during Y
(=>
    (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 33412-33423 If X is an instance of karabiner and device closed is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of climbing rope and X contains Z has the modal force of possibility holds during Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners