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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricDevice
ElectricDevice

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


(documentation ElectricDevice EnglishLanguage "A Device that uses Electricity as its primary power source.") Mid-level-ontology.kif 2479-2480
(externalImage ElectricDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2c/ Ceiling_fan_with_light.png/ 180px-Ceiling_fan_with_light.png") pictureList.kif 1097-1097
(subclass ElectricDevice Device) Mid-level-ontology.kif 2478-2478

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4497-4497
(subclass Accelerometer ElectricDevice) ComputerInput.kif 656-656
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 22201-22201
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2514-2514
(subclass CapacitorElement ElectricDevice) engineering.kif 532-532
(subclass Charger ElectricDevice) Cars.kif 2424-2424
(subclass Computer ElectricDevice) QoSontology.kif 25-25
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3530-3530
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 21752-21752
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5099-5099
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1717-1717
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 511-511
(subclass ElectricalCircuit ElectricDevice) engineering.kif 983-983
(subclass ElectricalComponent ElectricDevice) engineering.kif 979-979
(subclass ElectricalMotor ElectricDevice) engineering.kif 794-794
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2175-2175
(subclass Electromagnet ElectricDevice) Cars.kif 3903-3903
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 21366-21366
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2927-2927
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 21571-21571
(subclass InductorElement ElectricDevice) engineering.kif 549-549
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1734-1734
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 21607-21607
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 22504-22504
(subclass Radar ElectricDevice) Mid-level-ontology.kif 2518-2518

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?DEV ElectricDevice)
        (instance ?EV Process)
        (instrument ?EV ?DEV))
    (exists (?R)
        (and
            (instance ?R Electricity)
            (resource ?EV ?R))))
Mid-level-ontology.kif 2482-2490
(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))
ComputerInput.kif 516-520
(=>
    (and
        (instance ?PLUG ElectricalPlug)
        (instance ?DEVICE ElectricDevice)
        (instance ?OUTLET ElectricalOutlet)
        (connectedEngineeringComponents ?DEVICE ?PLUG)
        (completelyFills ?PLUG ?OUTLET)
        (instance ?POWER PowerSource)
        (connectedEngineeringComponents ?POWER ?OUTLET))
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?POWER)
            (destination ?RE ?DEVICE))))
Mid-level-ontology.kif 22160-22173

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


(=>
    (and
        (instance ?DSAVE DataSaving)
        (resource ?DSAVE ?RES)
        (instance ?RES ElectronicDataStorageDevice))
    (exists (?DEV)
        (and
            (instance ?DEV ElectricDevice)
            (instrument ?DSAVE ?DEV)
            (holdsDuring
                (WhenFn ?DSAVE)
                (connected ?RES ?DEV)))))
Media.kif 690-700
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ElectronicsAndApplianceStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING ElectricDevice)
                    (patient ?EV ?THING))))))
naics.kif 7193-7205
(=>
    (and
        (musicGenre ?MR AcousticMusic)
        (record ?MR ?MM))
    (not
        (exists (?I ?ED)
            (and
                (instance ?I MusicalInstrument)
                (instrument ?MM ?I)
                (instance ?ED ElectricDevice)
                (part ?ED ?I)))))
Music.kif 555-565
(=>
    (instance ?CTRL TemperatureControl)
    (exists (?DEVICE ?TEMP)
        (and
            (instance ?DEVICE ElectricDevice)
            (part ?CTRL ?DEVICE)
            (hasPurpose ?DEVICE
                (exists (?PROC ?AREA)
                    (and
                        (instance ?AREA Region)
                        (instance ?PROC Process)
                        (instrument ?PROC ?CTRL)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1138-1150
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))
Mid-level-ontology.kif 1725-1732
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2576-2581
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2588-2593
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 685-691


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