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 2543-2544
(externalImage ElectricDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2c/ Ceiling_fan_with_light.png/ 180px-Ceiling_fan_with_light.png") pictureList.kif 1096-1096
(subclass ElectricDevice Device) Mid-level-ontology.kif 2542-2542 电器设备subclass

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4489-4489 UnpoweredDevice 和 % 2 是 disjoint
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628 Accelerometer电器subclass
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25976-25976 AirConditioner电器subclass
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2578-2578 电池电器subclass
(subclass CapacitorElement ElectricDevice) engineering.kif 535-535 电容器元件电器subclass
(subclass Charger ElectricDevice) Cars.kif 2416-2416 充电器电器subclass
(subclass Computer ElectricDevice) QoSontology.kif 25-25 电脑电器subclass
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3559-3559 DevicePowerSupply电器subclass
(subclass ElectricCoffeeMaker ElectricDevice) Food.kif 374-374 ElectricCoffeeMaker电器subclass
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5084-5084 ElectricLightFixture电器subclass
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1780-1780 电动马达电器subclass
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485 ElectricSpeakerDevice电器subclass
(subclass ElectricalCircuit ElectricDevice) engineering.kif 984-984 电路电器subclass
(subclass ElectricalComponent ElectricDevice) engineering.kif 980-980 电气元件电器subclass
(subclass ElectricalMotor ElectricDevice) engineering.kif 796-796 电动机电器subclass
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167 电气化铁路车电器subclass
(subclass Electromagnet ElectricDevice) Cars.kif 3895-3895 Electromagnet电器subclass
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 25175-25175 FabricIron电器subclass
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2995-2995 传真机电器subclass
(subclass FitbitDevice ElectricDevice) Medicine.kif 4459-4459 FitbitDevice电器subclass
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 25380-25380 HairDryer电器subclass
(subclass InductorElement ElectricDevice) engineering.kif 552-552 电感元件电器subclass
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1797-1797 麦克风电器subclass
(subclass Microwave ElectricDevice) Food.kif 350-350 Microwave电器subclass
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 26280-26280 Photocopier电器subclass

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 2546-2554
(=>
    (and
        (instance ?DEV SpeakerDevice)
        (instance ?DEV ElectricDevice))
    (instance ?DEV ElectricSpeakerDevice))
ComputerInput.kif 490-494
(=>
    (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 25935-25948

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 7186-7198
(=>
    (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 559-569
(=>
    (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 1139-1151
(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))
Mid-level-ontology.kif 1788-1795
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2640-2645
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2652-2657
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 689-695


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