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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricDevice

 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 2498-2499
(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 2497-2497 电器 是 设备 的 subclass

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4484-4484 UnpoweredDevice 和 % 2 是 disjoint
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628 Accelerometer 是 电器 的 subclass
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25355-25355 AirConditioner 是 电器 的 subclass
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2533-2533 电池 是 电器 的 subclass
(subclass CapacitorElement ElectricDevice) engineering.kif 532-532 电容器元件 是 电器 的 subclass
(subclass Charger ElectricDevice) Cars.kif 2410-2410 充电器 是 电器 的 subclass
(subclass Computer ElectricDevice) QoSontology.kif 25-25 电脑 是 电器 的 subclass
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3522-3522 DevicePowerSupply 是 电器 的 subclass
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 24906-24906 ElectricCoffeeMaker 是 电器 的 subclass
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5079-5079 ElectricLightFixture 是 电器 的 subclass
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1735-1735 电动马达 是 电器 的 subclass
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485 ElectricSpeakerDevice 是 电器 的 subclass
(subclass ElectricalCircuit ElectricDevice) engineering.kif 983-983 电路 是 电器 的 subclass
(subclass ElectricalComponent ElectricDevice) engineering.kif 979-979 电气元件 是 电器 的 subclass
(subclass ElectricalMotor ElectricDevice) engineering.kif 794-794 电动机 是 电器 的 subclass
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2175-2175 电气化铁路车 是 电器 的 subclass
(subclass Electromagnet ElectricDevice) Cars.kif 3890-3890 Electromagnet 是 电器 的 subclass
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 24508-24508 FabricIron 是 电器 的 subclass
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2946-2946 传真机 是 电器 的 subclass
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 24713-24713 HairDryer 是 电器 的 subclass
(subclass InductorElement ElectricDevice) engineering.kif 549-549 电感元件 是 电器 的 subclass
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1752-1752 麦克风 是 电器 的 subclass
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 24749-24749 Microwave 是 电器 的 subclass
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 25658-25658 Photocopier 是 电器 的 subclass
(subclass Radar ElectricDevice) Mid-level-ontology.kif 2537-2537 雷达 是 电器 的 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 2501-2509
(=>
    (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 25314-25327

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 556-566
(=>
    (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 1743-1750
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))		 Mid-level-ontology.kif 2595-2600
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))		 Mid-level-ontology.kif 2607-2612
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))		 Music.kif 686-692


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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