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 2999-3000
(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 2998-2998

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4453-4453
(subclass Accelerometer ElectricDevice) ComputerInput.kif 576-576
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 23975-23975
(subclass Battery ElectricDevice) Mid-level-ontology.kif 3037-3037
(subclass CapacitorElement ElectricDevice) engineering.kif 528-528
(subclass Charger ElectricDevice) Cars.kif 2396-2396
(subclass Computer ElectricDevice) QoSontology.kif 25-25
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3551-3551
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 23452-23452
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5055-5055
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 2193-2193
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 431-431
(subclass ElectricalCircuit ElectricDevice) engineering.kif 979-979
(subclass ElectricalComponent ElectricDevice) engineering.kif 975-975
(subclass ElectricalMotor ElectricDevice) engineering.kif 790-790
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2157-2157
(subclass Electromagnet ElectricDevice) Cars.kif 3859-3859
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 23067-23067
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 3480-3480
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 23272-23272
(subclass InductorElement ElectricDevice) engineering.kif 545-545
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 2210-2210
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 23308-23308
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 24355-24355
(subclass Radar ElectricDevice) Mid-level-ontology.kif 3041-3041

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 3005-3013
(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))
ComputerInput.kif 436-440
(=>
    (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 23934-23947

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 1134-1146
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))
Mid-level-ontology.kif 2201-2208
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 3098-3103
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners