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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricTransmission
ElectricTransmission

appearance as argument number 1
-------------------------


(documentation ElectricTransmission EnglishLanguage "The movement of a electric potential (modeled as a Substance) from one point to another necessarily through a conductive medium (although the degree of conductivity may be quite low, as in Lightning through Air).") Cars.kif 2369-2372
(subclass ElectricTransmission RadiatingElectromagnetic) Cars.kif 2367-2367
(subclass ElectricTransmission Transfer) Cars.kif 2366-2366

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


(subclass Charging ElectricTransmission) Cars.kif 2381-2381
(subclass Discharging ElectricTransmission) Cars.kif 2403-2403
(subclass Spark ElectricTransmission) Cars.kif 418-418
(termFormat EnglishLanguage ElectricTransmission "electric transmission") Cars.kif 2368-2368

antecedent
-------------------------


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

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


(=>
    (instance ?E Electrolyte)
    (hasPurpose ?E
        (exists (?ET)
            (and
                (instance ?ET ElectricTransmission)
                (patient ?ET ?E)
                (holdsDuring ?ET
                    (attribute ?E Liquid))))))		 Cars.kif 2486-2494
(=>
    (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 ?IC IgnitionCoil)
    (hasPurpose ?IC
        (exists (?P ?S)
            (and
                (instance ?P ElectricTransmission)
                (instrument ?P ?IC)
                (instance ?S Spark)
                (causes ?P ?S)))))		 Cars.kif 3228-3236
(=>
    (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 32958-32967
(=>
    (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 33000-33009


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