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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricDevice
ElectricDevice(electric device)
CRO, automobile_horn, car_horn, cathode-ray_oscilloscope, chair, choke, choke_coil, choking_coil, death_chair, drum_sander, electric_blanket, electric_chair, electric_drill, electric_hammer, electric_mixer, electric_sander, electric_typewriter, electrical_device, electrical_system, electrode, electrograph, electromechanical_device, electron_accelerator, electron_tube, electronic, electronic_converter, electronic_device, electronic_equipment, hooter, horn, hot_seat, interrupter, magneto, magnetoelectric_machine, mosaic, motor_horn, oscilloscope, pulse_generator, raster, sander, scaler, scope, smoother, thermionic_tube, thermionic_vacuum_tube, thermionic_valve, tube, vacuum_tube

appearance as argument number 1
-------------------------


s__documentation(s__ElectricDevice,s__EnglishLanguage,'"A Device that uses Electricity as its primary power source."')

Mid-level-ontology.kif 2481-2482
s__externalImage(s__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
s__subclass(s__ElectricDevice,s__Device)

s__instance(s__Device,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 2480-2480 Electric device is a subclass of device

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


s__disjoint(s__UnpoweredDevice,s__ElectricDevice)

Cars.kif 4484-4484 UnpoweredDevice is disjoint from electric device
s__subclass(s__Accelerometer,s__ElectricDevice)

s__instance(s__Accelerometer,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

ComputerInput.kif 656-656 Accelerometer is a subclass of electric device
s__subclass(s__AirConditioner,s__ElectricDevice)

s__instance(s__AirConditioner,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 25025-25025 Air conditioner is a subclass of electric device
s__subclass(s__Battery,s__ElectricDevice)

s__instance(s__Battery,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 2516-2516 Battery is a subclass of electric device
s__subclass(s__CapacitorElement,s__ElectricDevice)

s__instance(s__CapacitorElement,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

engineering.kif 532-532 Capacitor element is a subclass of electric device
s__subclass(s__Charger,s__ElectricDevice)

s__instance(s__Charger,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Cars.kif 2410-2410 Charger is a subclass of electric device
s__subclass(s__Computer,s__ElectricDevice)

s__instance(s__Computer,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

QoSontology.kif 25-25 Computer is a subclass of electric device
s__subclass(s__DevicePowerSupply,s__ElectricDevice)

s__instance(s__DevicePowerSupply,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

ComputingBrands.kif 3530-3530 Device power supply is a subclass of electric device
s__subclass(s__ElectricCoffeeMaker,s__ElectricDevice)

s__instance(s__ElectricCoffeeMaker,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 24576-24576 Coffee maker is a subclass of electric device
s__instance(s__ElectricLightFixture,s__SetOrClass)

s__subclass(s__ElectricLightFixture,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

Cars.kif 5079-5079 ElectricLightFixture is a subclass of electric device
s__subclass(s__ElectricMotor,s__ElectricDevice)

s__instance(s__ElectricMotor,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 1718-1718 Electric motor is a subclass of electric device
s__instance(s__ElectricSpeakerDevice,s__SetOrClass)

s__subclass(s__ElectricSpeakerDevice,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

ComputerInput.kif 511-511 ElectricSpeakerDevice is a subclass of electric device
s__instance(s__ElectricalCircuit,s__SetOrClass)

s__subclass(s__ElectricalCircuit,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

engineering.kif 983-983 Electrical circuit is a subclass of electric device
s__subclass(s__ElectricalComponent,s__ElectricDevice)

s__instance(s__ElectricalComponent,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

engineering.kif 979-979 Electrical component is a subclass of electric device
s__subclass(s__ElectricalMotor,s__ElectricDevice)

s__instance(s__ElectricalMotor,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

engineering.kif 794-794 Electrical motor is a subclass of electric device
s__instance(s__ElectrifiedRailwayCar,s__SetOrClass)

s__subclass(s__ElectrifiedRailwayCar,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

Transportation.kif 2175-2175 Electrified railway car is a subclass of electric device
s__subclass(s__Electromagnet,s__ElectricDevice)

s__instance(s__Electromagnet,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Cars.kif 3890-3890 Electromagnet is a subclass of electric device
s__subclass(s__FabricIron,s__ElectricDevice)

s__instance(s__FabricIron,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 24176-24176 Iron is a subclass of electric device
s__instance(s__FaxMachine,s__SetOrClass)

s__subclass(s__FaxMachine,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 2929-2929 Fax machine is a subclass of electric device
s__subclass(s__HairDryer,s__ElectricDevice)

s__instance(s__HairDryer,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 24381-24381 Hair dryer is a subclass of electric device
s__instance(s__InductorElement,s__SetOrClass)

s__subclass(s__InductorElement,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

engineering.kif 549-549 Inductor element is a subclass of electric device
s__subclass(s__Microphone,s__ElectricDevice)

s__instance(s__Microphone,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 1735-1735 Microphone is a subclass of electric device
s__subclass(s__Microwave,s__ElectricDevice)

s__instance(s__Microwave,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 24417-24417 Microwave is a subclass of electric device
s__instance(s__Photocopier,s__SetOrClass)

s__subclass(s__Photocopier,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 25328-25328 Photocopier is a subclass of electric device
s__instance(s__Radar,s__SetOrClass)

s__subclass(s__Radar,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 2520-2520 Radar is a subclass of electric device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


( ! [V__EV,V__DEV] :
   (((s__instance(V__DEV,s__ElectricDevice) &
         s__instance(V__EV,s__Process) &
         s__instrument(V__EV,V__DEV))
     =>
     (( ? [V__R] :
         ((s__instance(V__R,s__Electricity) &
             s__resource(V__EV,V__R))))))
)
)

Mid-level-ontology.kif 2484-2492
( ! [V__DEV] :
   (((s__instance(V__DEV,s__SpeakerDevice) &
         s__instance(V__DEV,s__ElectricDevice))
       =>
       (s__instance(V__DEV,s__ElectricSpeakerDevice)))
     )
   )

ComputerInput.kif 516-520
( ! [V__PLUG,V__OUTLET,V__DEVICE,V__POWER] :
   (((s__instance(V__PLUG,s__ElectricalPlug) &
         s__instance(V__DEVICE,s__ElectricDevice) &
         s__instance(V__OUTLET,s__ElectricalOutlet) &
         s__connectedEngineeringComponents(V__DEVICE,V__PLUG)
       &
       s__completelyFills(V__PLUG,V__OUTLET)
     &
     s__instance(V__POWER,s__PowerSource) &
     s__connectedEngineeringComponents(V__POWER,V__OUTLET))
=>
(( ? [V__RE] :
     ((s__instance(V__RE,s__RadiatingElectromagnetic) &
         s__origin(V__RE,V__POWER)
       &
       s__destination(V__RE,V__DEVICE))))))
)
)

Mid-level-ontology.kif 24984-24997

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__ElectronicsAndApplianceStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__ElectricDevice) &
                   s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7193-7205
( ! [V__MR,V__MM] :
   (((s__instance(V__MR,s__ContentBearingObject) &
         s__instance(V__MM,s__Process))
       =>
       (((s__musicGenre(V__MR,s__AcousticMusic) &
             s__record(V__MR,V__MM))
         =>
         (~(( ? [V__I, V__ED] :
               ((s__instance(V__I,s__MusicalInstrument) &
                   s__instrument(V__MM,V__I)
                 &
                 s__instance(V__ED,s__ElectricDevice) &
                 s__part(V__ED,V__I)))))))))
)
)

Music.kif 555-565
No TPTP formula. May not be expressible in strict first order. engineering.kif 1138-1150
( ! [V__DEVICE] :
   ((s__instance(V__DEVICE,s__SwitchDevice) =>
       (( ? [V__PROC1, V__PROC2, V__ELECTRIC] :
           ((s__instance(V__PROC1,s__Process) &
               s__instance(V__PROC2,s__Process) &
               (s__instrument(V__PROC1,V__DEVICE)
               &
               s__causes(V__PROC1,V__PROC2)
             &
             s__instrument(V__PROC2,V__ELECTRIC)
           &
           s__instance(V__ELECTRIC,s__ElectricDevice)))))))
)
)

Mid-level-ontology.kif 1726-1733
( ! [V__S] :
   ((s__instance(V__S,s__ElectricalSignalling) =>
       (( ? [V__D] :
           ((s__instance(V__D,s__ElectricDevice) &
               s__instrument(V__S,V__D))))))
   )
)

Mid-level-ontology.kif 2578-2583
( ! [V__S] :
   ((s__instance(V__S,s__ElectronicSignalling) =>
       (( ? [V__D] :
           ((s__instance(V__D,s__ElectricDevice) &
               s__instrument(V__S,V__D))))))
   )
)

Mid-level-ontology.kif 2590-2595
( ! [V__MR] :
   ((s__instance(V__MR,s__ContentBearingObject) =>
       ((s__musicGenre(V__MR,s__ElectronicMusic) =>
           (( ? [V__DV, V__MM] :
               ((s__instance(V__MM,s__Process) &
                   (s__instance(V__DV,s__ElectricDevice) &
                     s__record(V__MR,V__MM)
                   &
                   s__instrument(V__MM,V__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 3.0 is open source software produced by Articulate Software and its partners