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 | ElectricDevice ist eine teilkategorie von Device |
appearance as argument number 2 |
antecedent |
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 |
|