Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Electricity
Electricity(electricity)
AC, DC, alternating_current, alternating_electric_current, direct_current, direct_electric_current, electrical_energy, 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 "http://upload.wikimedia.org/wikipedia/commons/0/0b/ AerialSubstation.jpeg" is a URL depicting electricity
(subclass Electricity Substance) Mid-level-ontology.kif 3015-3015 Electricity is a subclass of substance

appearance as argument number 2
-------------------------


(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 4610-4610 Electricity is an industry product type of electrical power generation
(termFormat ChineseLanguage Electricity "电力") domainEnglishFormat.kif 21511-21511 "电力" is the printable form of electricity in ChineseLanguage
(termFormat ChineseTraditionalLanguage Electricity "電力") domainEnglishFormat.kif 21510-21510 "電力" is the printable form of electricity in ChineseTraditionalLanguage
(termFormat EnglishLanguage Electricity "electricity") domainEnglishFormat.kif 21509-21509 "electricity" is the printable form of electricity in english language

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
(=>
    (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
(=>
    (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

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
(=>
    (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
(=>
    (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 ?EC ElectricTransmission)
    (exists (?E)
        (and
            (instance ?E Electricity)
            (objectTransferred ?EC ?E))))
Cars.kif 2376-2381
(=>
    (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 ?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 ?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 ?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
(=>
    (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


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