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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceOn
DeviceOn(device on)

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


(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3628-3628 Device on is the opposite of device off
(instance DeviceOn DeviceStateAttribute) Mid-level-ontology.kif 2328-2328 Device on is an instance of device state attribute

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


(termFormat ChineseLanguage DeviceOn "设备上") domainEnglishFormat.kif 19288-19288
(termFormat ChineseTraditionalLanguage DeviceOn "設備上") domainEnglishFormat.kif 19287-19287
(termFormat EnglishLanguage DeviceOn "device on") domainEnglishFormat.kif 19286-19286

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


(=>
    (and
        (instance ?C Cavitating)
        (instance ?P Pump)
        (attribute ?P DeviceOn)
        (attribute ?L1 Liquid)
        (contains ?P ?L1))
    (exists (?PP)
        (and
            (part ?PP ?P)
            (hasPurpose ?PP
                (and
                    (attribute ?L2 Liquid)
                    (meetsSpatially ?L2 ?PP)))
            (holdsDuring
                (WhenFn ?C)
                (not
                    (exists (?L3)
                        (and
                            (attribute ?L3 Liquid)
                            (meetsSpatially ?PP ?L3))))))))
Cars.kif 1737-1757
(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOn))
    (not
        (exists (?M2)
            (and
                (instance ?M2 Motion)
                (patient ?M2 ?G)
                (causes ?M ?M2)))))
Cars.kif 1813-1832
(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (measure ?A1 ?A1M)
        (measure ?A2 ?A2M)
        (measure ?F1 ?F1M)
        (measure ?F2 ?F2M))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))
Cars.kif 1315-1344
(=>
    (and
        (instance ?M Microwave)
        (attribute ?M DeviceOn))
    (exists (?PROC)
        (and
            (instance ?PROC RadiatingElectromagnetic)
            (instrument ?PROC ?M))))
Mid-level-ontology.kif 23366-23373
(=>
    (and
        (instance ?P ParkingBrake)
        (instance ?V Vehicle)
        (holdsDuring ?T1
            (attribute ?P DeviceOn))
        (part ?P ?V))
    (hasPurpose ?P
        (holdsDuring ?T1
            (not
                (exists (?T)
                    (and
                        (instance ?T Translocation)
                        (patient ?T ?V)))))))
Cars.kif 567-580
(=>
    (and
        (instance ?X FireAlarm)
        (attribute ?X DeviceOn)
        (located ?X ?LOC))
    (exists (?RS)
        (and
            (instance ?RS RadiatingSound)
            (instrument ?RS ?X)
            (hasPurpose ?RS
                (exists (?GRP)
                    (and
                        (instance ?GRP GroupOfPeople)
                        (located ?GRP ?LOC)
                        (knows ?GRP
                            (exists (?FIRE)
                                (and
                                    (instance ?FIRE Fire)
                                    (eventLocated ?FIRE ?LOC))))))))))
Mid-level-ontology.kif 24607-24625
(=>
    (and
        (instance ?X HeatedPool)
        (contains ?X ?WATER)
        (instance ?WATER Water)
        (part ?X ?HEATER)
        (instance ?HEATER WaterHeater)
        (attribute ?HEATER DeviceOn))
    (attribute ?WATER WarmTemperature))
Mid-level-ontology.kif 25020-25028
(=>
    (holdsDuring ?T
        (and
            (maxDeviceOperatingTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A ?T2)
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3616-3626
(=>
    (holdsDuring ?T
        (and
            (minDeviceOperatingTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A ?T2)
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3663-3673

consequent
-------------------------


(=>
    (and
        (instance ?P TurningOffDevice)
        (patient ?P ?D))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?P))
            (attribute ?D DeviceOn))
        (holdsDuring
            (EndFn
                (WhenFn ?P))
            (attribute ?D DeviceOff))))
Mid-level-ontology.kif 1456-1466
(=>
    (and
        (instance ?P TurningOnDevice)
        (patient ?P ?D))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?P))
            (attribute ?D DeviceOff))
        (holdsDuring
            (EndFn
                (WhenFn ?P))
            (attribute ?D DeviceOn))))
Mid-level-ontology.kif 1480-1490
(=>
    (instance ?S Solenoid)
    (hasPurpose ?S
        (exists (?P ?T1 ?T2 ?L1 ?L2)
            (and
                (part ?P ?S)
                (holdsDuring ?T1
                    (and
                        (attribute ?S DeviceOn)
                        (located ?P ?L1)))
                (holdsDuring ?T2
                    (and
                        (attribute ?S DeviceOn)
                        (located ?P ?L2)))
                (not
                    (equal ?L1 ?L2))))))
Cars.kif 3902-3917


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