| ElectricDevice
| |
| appearance as argument number 1 |
|
|
| (documentation ElectricDevice EnglishLanguage "A Device that uses Electricity as its primary power source.") | Mid-level-ontology.kif 3006-3007 | |
| (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 3005-3005 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 3009-3017 | |
| (=> (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 27847-27860 |
| 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 561-571 | |
| (=> (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 1452-1464 | |
| (=> (instance ?DEVICE SwitchDevice) (exists (?PROC1 ?PROC2 ?ELECTRIC) (and (instrument ?PROC1 ?DEVICE) (causes ?PROC1 ?PROC2) (instrument ?PROC2 ?ELECTRIC) (instance ?ELECTRIC ElectricDevice)))) |
Mid-level-ontology.kif 2251-2258 | |
| (=> (instance ?S ElectricalSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D)))) |
Mid-level-ontology.kif 3103-3108 | |
| (=> (instance ?S ElectronicSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D)))) |
Mid-level-ontology.kif 3115-3120 | |
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 691-697 |
|
|
|