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 3020-3024
(externalImage Electricity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ AerialSubstation.jpeg") pictureList.kif 4672-4672
(subclass Electricity Substance) Mid-level-ontology.kif 3019-3019 子類 電力 and Substance

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


(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 6067-6067 電力 是 發電 的 industry 產品類別
(termFormat ChineseLanguage Electricity "电力") domainEnglishFormat.kif 21591-21591 電力 是 發電 的 industry 產品類別
(termFormat ChineseTraditionalLanguage Electricity "電力") domainEnglishFormat.kif 21590-21590 電力 是 發電 的 industry 產品類別
(termFormat EnglishLanguage Electricity "electricity") domainEnglishFormat.kif 21589-21589 電力 是 發電 的 industry 產品類別

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 3954-3964
(=>
    (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 3966-3982
(=>
    (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 ?N1 Volt)))
    (approximateValue ?N1 12))		 Cars.kif 3216-3226

consequent
-------------------------


(=>
    (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 ?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 ?ELEC)
                                (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 5126-5150
(=>
    (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 ?ELEC)
                            (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 5421-5443
(=>
    (instance ?EC ElectricTransmission)
    (exists (?E)
        (and
            (instance ?E Electricity)
            (objectTransferred ?EC ?E))))		 Cars.kif 2374-2379
(=>
    (instance ?G Generator)
    (hasPurpose ?G
        (exists (?P ?E)
            (and
                (instance ?P Process)
                (instance ?E Electricity)
                (result ?P ?E)
                (instrument ?P ?G)))))		 Cars.kif 1194-1202
(=>
    (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 3204-3214
(=>
    (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 1195-1214
(=>
    (instance ?X ElectroMechanicalFitting)
    (hasPurpose ?X
        (exists (?M ?E ?D)
            (and
                (instance ?M Motion)
                (instance ?E Electricity)
                (resource ?M ?E)
                (instrument ?M ?X)
                (patient ?M ?D)
                (instance ?D Machine)))))		 engineering.kif 939-949
(=>
    (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 28275-28283
(=>
    (voltageRatingPrimary ?O ?Q)
    (exists (?P ?EC ?P ?E)
        (and
            (part ?P ?O)
            (instance ?EC ElectricTransmission)
            (destination ?EC ?P)
            (objectTransferred ?EC ?E)
            (instance ?E Electricity)
            (measure ?E ?Q))))		 Mid-level-ontology.kif 33199-33208
(=>
    (voltageRatingSecondary ?O ?Q)
    (exists (?S ?EC ?E)
        (and
            (part ?S ?O)
            (instance ?EC ElectricTransmission)
            (origin ?EC ?S)
            (objectTransferred ?EC ?E)
            (instance ?E Electricity)
            (measure ?E ?Q))))		 Mid-level-ontology.kif 33241-33250


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 3.0 is open source software produced by Articulate Software and its partners