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 2481-2482
(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 2480-2480 电器设备subclass

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4484-4484 UnpoweredDevice 和 % 2 是 disjoint
(subclass Accelerometer ElectricDevice) ComputerInput.kif 656-656 Accelerometer电器subclass
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25210-25210 AirConditioner电器subclass
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2516-2516 电池电器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 3523-3523 DevicePowerSupply电器subclass
(subclass ElectricCoffeeMaker ElectricDevice) Mid-level-ontology.kif 24761-24761 ElectricCoffeeMaker电器subclass
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5079-5079 ElectricLightFixture电器subclass
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1718-1718 电动马达电器subclass
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 511-511 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 24363-24363 FabricIron电器subclass
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2929-2929 传真机电器subclass
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 24568-24568 HairDryer电器subclass
(subclass InductorElement ElectricDevice) engineering.kif 549-549 电感元件电器subclass
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1735-1735 麦克风电器subclass
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 24604-24604 Microwave电器subclass
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 25513-25513 Photocopier电器subclass
(subclass Radar ElectricDevice) Mid-level-ontology.kif 2520-2520 雷达电器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 2484-2492
(=>
    (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 25169-25182

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 1726-1733
(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2578-2583
(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))
Mid-level-ontology.kif 2590-2595
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 686-692


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