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)

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__instance(s__ElectricDevice,s__SetOrClass)

ComputerInput.kif 539-539 Accelerometer is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 23894-23894 Air conditioner is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

Mid-level-ontology.kif 3042-3042 Battery is a subclass of electric device
s__instance(s__BreadMachine,s__SetOrClass)

Society.kif 689-689 BreadMachine is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

engineering.kif 528-528 Capacitor element is a subclass of electric device
s__instance(s__Charger,s__SetOrClass)

Cars.kif 2396-2396 Charger is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

Society.kif 666-666 Clothes washing machine is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

QoSontology.kif 25-25 Computer is a subclass of electric device
s__instance(s__DeepFryer,s__SetOrClass)

Society.kif 724-724 DeepFryer is a subclass of electric device
s__subclass(s__Dishwasher,s__ElectricDevice)

Society.kif 670-670 Dishwasher is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

Society.kif 683-683 ElectricBlender is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

Society.kif 706-706 ElectricCanOpener is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

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

Society.kif 763-763 ElectricJuicer is a subclass of electric device
s__subclass(s__ElectricKettle,s__ElectricDevice)

Society.kif 919-919 ElectricKettle is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

Cars.kif 5047-5047 ElectricLightFixture is a subclass of electric device
s__instance(s__ElectricMotor,s__SetOrClass)

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

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

Society.kif 934-934 ElectricToaster is a subclass of electric device
s__instance(s__ElectricalCircuit,s__SetOrClass)

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

engineering.kif 975-975 Electrical component is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

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

Transportation.kif 2102-2102 Electrified railway car is a subclass of electric device
s__instance(s__ElectricDevice,s__SetOrClass)

Cars.kif 3853-3853 Electromagnet 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__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 3010-3018
( ! [V__DEV] :
   ((s__instance(V__DEV,s__SpeakerDevice) &
       s__instance(V__DEV,s__ElectricDevice))
     =>
     s__instance(V__DEV,s__ElectricSpeakerDevice))
   )

ComputerInput.kif 449-453
( ! [V__PLUG,V__DEVICE,V__OUTLET,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 23853-23866

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__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__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 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) =>
     (? [V__PROC1,V__PROC2,V__ELECTRIC] :
       (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 2206-2213
( ! [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 3103-3108
( ! [V__MR] :
   (s__musicGenre(V__MR,s__ElectronicMusic) =>
     (? [V__DV,V__MM] :
       (s__instance(V__DV,s__ElectricDevice) &
         s__record(V__MR,V__MM)
       &
       s__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