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 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 子類 電器 and Device

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


(disjoint UnpoweredDevice ElectricDevice) Cars.kif 4481-4481 不相交的 UnpoweredDevice and 電器
(subclass Accelerometer ElectricDevice) ComputerInput.kif 628-628 子類 Accelerometer and 電器
(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 25988-25988 子類 AirConditioner and 電器
(subclass Battery ElectricDevice) Mid-level-ontology.kif 2578-2578 子類 電池 and 電器
(subclass CapacitorElement ElectricDevice) engineering.kif 535-535 子類 電容器元件 and 電器
(subclass Charger ElectricDevice) Cars.kif 2410-2410 子類 充電器 and 電器
(subclass Computer ElectricDevice) QoSontology.kif 25-25 子類 電腦 and 電器
(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3559-3559 子類 DevicePowerSupply and 電器
(subclass ElectricCoffeeMaker ElectricDevice) Food.kif 374-374 子類 ElectricCoffeeMaker and 電器
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5076-5076 子類 ElectricLightFixture and 電器
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 1780-1780 子類 電動馬達 and 電器
(subclass ElectricSpeakerDevice ElectricDevice) ComputerInput.kif 485-485 子類 ElectricSpeakerDevice and 電器
(subclass ElectricalCircuit ElectricDevice) engineering.kif 984-984 子類 電路 and 電器
(subclass ElectricalComponent ElectricDevice) engineering.kif 980-980 子類 電氣元件 and 電器
(subclass ElectricalMotor ElectricDevice) engineering.kif 796-796 子類 電動機 and 電器
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167 子類 電氣化鐵路車 and 電器
(subclass Electromagnet ElectricDevice) Cars.kif 3887-3887 子類 Electromagnet and 電器
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 25176-25176 子類 FabricIron and 電器
(subclass FaxMachine ElectricDevice) Mid-level-ontology.kif 2995-2995 子類 傳真機 and 電器
(subclass FitbitDevice ElectricDevice) Medicine.kif 4459-4459 子類 FitbitDevice and 電器
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 25381-25381 子類 HairDryer and 電器
(subclass InductorElement ElectricDevice) engineering.kif 552-552 子類 電感元件 and 電器
(subclass Microphone ElectricDevice) Mid-level-ontology.kif 1797-1797 子類 麥克風 and 電器
(subclass Microwave ElectricDevice) Food.kif 350-350 子類 Microwave and 電器
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 26292-26292 子類 Photocopier and 電器

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 25947-25960

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 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