TreeView Knowledge Base Browser

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

(disjoint UnpoweredDevice ElectricDevice)	Cars.kif 4481-4481	UnpoweredDevice ist dijunkt von ElectricDevice %n{nicht}
(subclass Accelerometer ElectricDevice)	ComputerInput.kif 628-628	Accelerometer ist eine teilkategorie von ElectricDevice
(subclass AirConditioner ElectricDevice)	Mid-level-ontology.kif 25988-25988	AirConditioner ist eine teilkategorie von ElectricDevice
(subclass Battery ElectricDevice)	Mid-level-ontology.kif 2578-2578	Battery ist eine teilkategorie von ElectricDevice
(subclass CapacitorElement ElectricDevice)	engineering.kif 535-535	CapacitorElement ist eine teilkategorie von ElectricDevice
(subclass Charger ElectricDevice)	Cars.kif 2410-2410	Charger ist eine teilkategorie von ElectricDevice
(subclass Computer ElectricDevice)	QoSontology.kif 25-25	Computer ist eine teilkategorie von ElectricDevice
(subclass DevicePowerSupply ElectricDevice)	ComputingBrands.kif 3559-3559	DevicePowerSupply ist eine teilkategorie von ElectricDevice
(subclass ElectricCoffeeMaker ElectricDevice)	Food.kif 374-374	ElectricCoffeeMaker ist eine teilkategorie von ElectricDevice
(subclass ElectricLightFixture ElectricDevice)	Cars.kif 5076-5076	ElectricLightFixture ist eine teilkategorie von ElectricDevice
(subclass ElectricMotor ElectricDevice)	Mid-level-ontology.kif 1780-1780	ElectricMotor ist eine teilkategorie von ElectricDevice
(subclass ElectricSpeakerDevice ElectricDevice)	ComputerInput.kif 485-485	ElectricSpeakerDevice ist eine teilkategorie von ElectricDevice
(subclass ElectricalCircuit ElectricDevice)	engineering.kif 984-984	ElectricalCircuit ist eine teilkategorie von ElectricDevice
(subclass ElectricalComponent ElectricDevice)	engineering.kif 980-980	ElectricalComponent ist eine teilkategorie von ElectricDevice
(subclass ElectricalMotor ElectricDevice)	engineering.kif 796-796	ElectricalMotor ist eine teilkategorie von ElectricDevice
(subclass ElectrifiedRailwayCar ElectricDevice)	Transportation.kif 2167-2167	ElectrifiedRailwayCar ist eine teilkategorie von ElectricDevice
(subclass Electromagnet ElectricDevice)	Cars.kif 3887-3887	Electromagnet ist eine teilkategorie von ElectricDevice
(subclass FabricIron ElectricDevice)	Mid-level-ontology.kif 25176-25176	FabricIron ist eine teilkategorie von ElectricDevice
(subclass FaxMachine ElectricDevice)	Mid-level-ontology.kif 2995-2995	FaxMachine ist eine teilkategorie von ElectricDevice
(subclass FitbitDevice ElectricDevice)	Medicine.kif 4459-4459	FitbitDevice ist eine teilkategorie von ElectricDevice
(subclass HairDryer ElectricDevice)	Mid-level-ontology.kif 25381-25381	HairDryer ist eine teilkategorie von ElectricDevice
(subclass InductorElement ElectricDevice)	engineering.kif 552-552	InductorElement ist eine teilkategorie von ElectricDevice
(subclass Microphone ElectricDevice)	Mid-level-ontology.kif 1797-1797	Microphone ist eine teilkategorie von ElectricDevice
(subclass Microwave ElectricDevice)	Food.kif 350-350	Microwave ist eine teilkategorie von ElectricDevice
(subclass Photocopier ElectricDevice)	Mid-level-ontology.kif 26292-26292	Photocopier ist eine teilkategorie von ElectricDevice

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R))))	Mid-level-ontology.kif 2546-2554	Wenn Object ist ein fall von ElectricDevice %n{nicht} und Process ist ein fall von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann es gibt Object um Object ist ein fall von Electricity %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht}
(=> (and (instance ?DEV SpeakerDevice) (instance ?DEV ElectricDevice)) (instance ?DEV ElectricSpeakerDevice))	ComputerInput.kif 490-494	Wenn Entity ist ein fall von SpeakerDevice %n{nicht} und Entity ist ein fall von ElectricDevice %n{nicht}, dann Entity ist ein fall von ElectricSpeakerDevice %n{nicht}
(=> (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 25947-25960	Wenn EngineeringComponent ist ein fall von ElectricalPlug %n{nicht} und EngineeringComponent ist ein fall von ElectricDevice %n{nicht} und HoleRegion ist ein fall von ElectricalOutlet %n{nicht} und EngineeringComponent wird mit EngineeringComponent angeschlossen und EngineeringComponent fuellt HoleRegion vollstaendig und EngineeringComponent ist ein fall von PowerSource %n{nicht} und EngineeringComponent wird mit HoleRegion angeschlossen, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Process beginnet an EngineeringComponent %n{nicht} und Process endet an ** EngineeringComponent %n{nicht}

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	Wenn Process ist ein fall von DataSaving %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein fall von ElectronicDataStorageDevice %n{nicht}, dann es gibt Object um Object ist ein fall von ElectricDevice %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object wird an Object angeschlossen haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und ElectronicsAndApplianceStores ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Entity um AutonomousAgent ist ein fall von Selling %n{nicht} und Entity ist ein fall von ElectricDevice %n{nicht} und Entity ist ein patient von ** AutonomousAgent %n{nicht}
(=> (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	Wenn musicGenre ContentBearingObject and AcousticMusic und record ContentBearingObject and Process, dann es gibt nicht Object und Object um Object ist ein fall von MusicalInstrument %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von ElectricDevice %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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	Wenn Object ist ein fall von TemperatureControl %n{nicht}, dann es gibt Object und entity um Object ist ein fall von ElectricDevice %n{nicht} und Object ist ein teil von Object %n{nicht} und Object hat Zweck von es gibt entity und entity um entity ist ein fall von Region %n{nicht} und entity ist ein fall von Process %n{nicht} und Object ist ein instrument fuer entity %n{nicht} und airTemperature entity and entity ist ein resultat von entity %n{nicht} %n{nicht}
(=> (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	Wenn Object ist ein fall von SwitchDevice %n{nicht}, dann es gibt Process, Process, and und Object um Object ist ein instrument fuer Process %n{nicht} und Process verursacht Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und ** Object ist ein fall von ElectricDevice %n{nicht}
(=> (instance ?S ElectricalSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D))))	Mid-level-ontology.kif 2640-2645	Wenn Process ist ein fall von ElectricalSignalling %n{nicht}, dann es gibt Object um Object ist ein fall von ElectricDevice %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (instance ?S ElectronicSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D))))	Mid-level-ontology.kif 2652-2657	Wenn Process ist ein fall von ElectronicSignalling %n{nicht}, dann es gibt Object um Object ist ein fall von ElectricDevice %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV))))	Music.kif 689-695	Wenn musicGenre ContentBearingObject and ElectronicMusic, dann es gibt Object und Process um Object ist ein fall von ElectricDevice %n{nicht} und record ContentBearingObject and Process und Object ist ein instrument fuer ** Process %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: