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_device, 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 3004-3005
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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2c/ Ceiling_fan_with_light.png/ 180px-Ceiling_fan_with_light.png" is a URL depicting electric device
s__subclass(s__ElectricDevice,s__Device)

s__instance(s__Device,s__SetOrClass)

s__instance(s__ElectricDevice,s__SetOrClass)

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

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


s__disjoint(s__UnpoweredDevice,s__ElectricDevice)

Cars.kif 4445-4445 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 490-490 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 23974-23974 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 3042-3042 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 528-528 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 2396-2396 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 3360-3360 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 23451-23451 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 5047-5047 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 2198-2198 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 397-397 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 979-979 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 975-975 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 790-790 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 2129-2129 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 3853-3853 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 23066-23066 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 3484-3484 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 23271-23271 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 545-545 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 2215-2215 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 23307-23307 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 24354-24354 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 3046-3046 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__DEV,V__EV] :
   ((s__instance(V__DEV,s__ElectricDevice)s__and__ms__instance(V__EV,s__Process)s__and__ms__instrument(V__EV,V__DEV))
  s__=>(s__exists__m[V__R] :
     (s__instance(V__R,s__Electricity)s__and__ms__resource(V__EV,V__R))))
)

Mid-level-ontology.kif 3010-3018
( ! [V__DEV] :
   ((s__instance(V__DEV,s__SpeakerDevice)s__and__ms__instance(V__DEV,s__ElectricDevice))
    s__=>s__instance(V__DEV,s__ElectricSpeakerDevice))
   )

ComputerInput.kif 400-404
( ! [V__PLUG,V__DEVICE,V__OUTLET,V__POWER] :
   ((s__instance(V__PLUG,s__ElectricalPlug)s__and__ms__instance(V__DEVICE,s__ElectricDevice)s__and__ms__instance(V__OUTLET,s__ElectricalOutlet)s__and__ms__connectedEngineeringComponents(V__DEVICE,V__PLUG)
    s__and__ms__completelyFills(V__PLUG,V__OUTLET)
  s__and__ms__instance(V__POWER,s__PowerSource)s__and__ms__connectedEngineeringComponents(V__POWER,V__OUTLET))
s__=>(s__exists__m[V__RE] :
(s__instance(V__RE,s__RadiatingElectromagnetic)s__and__ms__origin(V__RE,V__POWER)
s__and__ms__destination(V__RE,V__DEVICE))))
)

Mid-level-ontology.kif 23933-23946

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__and__ms__attribute(V__ORG,s__ElectronicsAndApplianceStores))
    s__=>(s__exists__m[V__EV,V__MEM] :
       (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG)
      s__and__ms__agent(V__MEM,V__EV)
    s__and__m(s__exists__m[V__THING] :
     (s__instance(V__EV,s__Selling)s__and__ms__instance(V__THING,s__ElectricDevice)s__and__ms__patient(V__EV,V__THING)))))))
)

naics.kif 7193-7205
( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject)s__and__ms__instance(V__MM,s__Process))
    s__=>((s__musicGenre(V__MR,s__AcousticMusic)s__and__ms__record(V__MR,V__MM))
    s__=>(s__not__m(s__exists__m[V__I,V__ED] :
       (s__instance(V__I,s__MusicalInstrument)s__and__ms__instrument(V__MM,V__I)
      s__and__ms__instance(V__ED,s__ElectricDevice)s__and__ms__part(V__ED,V__I))))))
)

Music.kif 561-571
No TPTP formula. May not be expressible in strict first order. engineering.kif 1134-1146
( ! [V__DEVICE] :
   (s__instance(V__DEVICE,s__SwitchDevice)s__=>(s__exists__m[V__PROC1,V__PROC2,V__ELECTRIC] :
       (s__instance(V__PROC1,s__Process)s__and__ms__instance(V__PROC2,s__Process)s__and__m(s__instrument(V__PROC1,V__DEVICE)
      s__and__ms__causes(V__PROC1,V__PROC2)
    s__and__ms__instrument(V__PROC2,V__ELECTRIC)
  s__and__ms__instance(V__ELECTRIC,s__ElectricDevice)))))
)

Mid-level-ontology.kif 2206-2213
( ! [V__S] :
   (s__instance(V__S,s__ElectricalSignalling)s__=>(s__exists__m[V__D] :
       (s__instance(V__D,s__ElectricDevice)s__and__ms__instrument(V__S,V__D))))
)

Mid-level-ontology.kif 3103-3108
( ! [V__MR] :
   (s__instance(V__MR,s__ContentBearingObject)s__=>(s__musicGenre(V__MR,s__ElectronicMusic)s__=>(s__exists__m[V__DV,V__MM] :
         (s__instance(V__MM,s__Process)s__and__m(s__instance(V__DV,s__ElectricDevice)s__and__ms__record(V__MR,V__MM)
        s__and__ms__instrument(V__MM,V__DV))))))
)

Music.kif 691-697


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners