Electricity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Electricity

Electricity

appearance as argument number 1

(documentation Electricity EnglishLanguage "While electricity is typically thought of as just a difference in electrical potential, one way of modeling electricity is as a substance that can be moved from one point to another or consumed. One could make the claim that subatomic physics also supports the classification as a substance since electrons are objects.")	Mid-level-ontology.kif 3016-3020
(externalImage Electricity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ AerialSubstation.jpeg")	pictureList.kif 4674-4674	externalImage Electricity and "http://upload.wikimedia.org/wikipedia/commons/0/0b/ AerialSubstation.jpeg"
(subclass Electricity Substance)	Mid-level-ontology.kif 3015-3015	subclass Electricity and Substance

appearance as argument number 2

(industryProductType ElectricalPowerGeneration Electricity)	Economy.kif 4610-4610	industryProductType ElectricalPowerGeneration and Electricity
(termFormat ChineseLanguage Electricity "电力")	domainEnglishFormat.kif 21511-21511	termFormat ChineseLanguage, Electricity and "电力"
(termFormat ChineseTraditionalLanguage Electricity "電力")	domainEnglishFormat.kif 21510-21510	termFormat ChineseTraditionalLanguage, Electricity and "電力"
(termFormat EnglishLanguage Electricity "electricity")	domainEnglishFormat.kif 21509-21509	termFormat EnglishLanguage, Electricity and "electricity"

antecedent

(=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))	Cars.kif 3865-3875	instance Object and Electromagnet instance Transfer and Transfer instance Object and Electricity objectTransferred Transfer and Object path Transfer and Object Process instance Process and Magnetism instrument Process and Object
(=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))))	Cars.kif 3877-3893	instance Entity and Electromagnet holdsDuring TimePosition and entity entity instance entity and Transfer instance entity and Electricity objectTransferred entity and entity path entity and Entity holdsDuring TimePosition and entity instance entity and Magnetism instrument entity and Entity
(=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn Volt ?N1))) (approximateValue ?N1 12))	Cars.kif 3129-3139	instance Object and IgnitionCoil instance Process and ElectricTransmission resource Process and Object instance Object and Electricity instance Entity and Electricity result Process and Entity instrument Process and Object measure Object and MeasureFn Volt and RealNumber approximateValue RealNumber and 12

consequent

(=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R))))	Mid-level-ontology.kif 3005-3013	instance Object and ElectricDevice instance Process and Process instrument Process and Object Object instance Object and Electricity resource Process and Object
(=> (and (instance ?ORG Organization) (attribute ?ORG ComputerAndElectronicProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Computer) (and (instance ?THING Machine) (exists (?EV3) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity))))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5133-5157	instance Collection and Organization attribute Collection and ComputerAndElectronicProductManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and Computer instance Entity and Machine Agent patient Agent and Entity resource Agent and Object instance Object and Electricity patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (and (instance ?THING Machine) (exists (?EV3) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity)))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5428-5450	instance Collection and Organization attribute Collection and ElectricalEquipmentApplianceAndComponentManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and Machine Agent patient Agent and Entity resource Agent and Object instance Object and Electricity patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E))))	Cars.kif 2376-2381	instance Transfer and ElectricTransmission Object instance Object and Electricity objectTransferred Transfer and Object
(=> (instance ?G Generator) (hasPurpose ?G (exists (?P ?E) (and (instance ?P Process) (instance ?E Electricity) (result ?P ?E) (instrument ?P ?G)))))	Cars.kif 1184-1192	instance Physical and Generator hasPurpose Physical and entity entity instance entity and Process instance entity and Electricity result entity and entity instrument entity and Physical
(=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?E1 ?E2 ?P) (and (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC)))))	Cars.kif 3117-3127	instance Physical and IgnitionCoil hasPurpose Physical and entity entity and entity instance entity and ElectricTransmission resource entity and entity instance entity and Electricity instance entity and Electricity result entity and entity instrument entity and Physical
(=> (instance ?S Spark) (exists (?E ?G) (and (instance ?E Electricity) (patient ?S ?E) (instance ?G Substance) (attribute ?G Gas) (eventLocated ?S ?G))))	Cars.kif 424-432	instance Process and Spark Entity Object instance Entity and Electricity patient Process and Entity instance Object and Substance attribute Object and Gas eventLocated Process and Object
(=> (instance ?TRANS TransferSwitch) (hasPurpose ?TRANS (exists (?PROC ?POWER1 ?POWER2 ?E) (and (instance ?PROC Process) (instance ?POWER1 PowerSource) (instance ?POWER2 PowerSource) (instance ?E Electricity) (instrument ?PROC ?TRANS) (holdsDuring (BeginFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (holdsDuring (EndFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (not (equal ?POWER1 ?POWER2))))))	engineering.kif 876-895	instance Physical and TransferSwitch hasPurpose Physical and entity entity, entity and entity instance entity and Process instance entity and PowerSource instance entity and PowerSource instance entity and Electricity instrument entity and Physical holdsDuring BeginFn WhenFn entity and origin entity and entity holdsDuring EndFn WhenFn entity and origin entity and entity equal entity and entity
(=> (voltageMeasure ?OBJ ?MEAS) (exists (?ELEC ?PROC) (and (instance ?ELEC Electricity) (instance ?PROC Process) (instrument ?PROC ?OBJ) (result ?PROC ?ELEC) (measure ?ELEC ?MEAS))))	Mid-level-ontology.kif 24431-24439	voltageMeasure PowerSource and PhysicalQuantity Object Process instance Object and Electricity instance Process and Process instrument Process and PowerSource result Process and Object measure Object and PhysicalQuantity

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