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 2391-2394
(subclass ElectricTransmission RadiatingElectromagnetic) Cars.kif 2389-2389 ElectricTransmission 是 辐射电磁 的 subclass
(subclass ElectricTransmission Transfer) Cars.kif 2388-2388 ElectricTransmission 是 转移 的 subclass

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


(subclass Charging ElectricTransmission) Cars.kif 2403-2403 Charging 是 ElectricTransmission 的 subclass
(subclass Discharging ElectricTransmission) Cars.kif 2425-2425 Discharging 是 ElectricTransmission 的 subclass
(subclass Spark ElectricTransmission) Cars.kif 418-418 Spark 是 ElectricTransmission 的 subclass
(termFormat EnglishLanguage ElectricTransmission "electric transmission") Cars.kif 2390-2390

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 3163-3173
(=>
    (instance ?EC ElectricTransmission)
    (exists (?E)
        (and
            (instance ?E Electricity)
            (objectTransferred ?EC ?E))))		 Cars.kif 2396-2401

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


(=>
    (instance ?E Electrolyte)
    (hasPurpose ?E
        (exists (?ET)
            (and
                (instance ?ET ElectricTransmission)
                (patient ?ET ?E)
                (holdsDuring ?ET
                    (attribute ?E Liquid))))))		 Cars.kif 2508-2516
(=>
    (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 3151-3161
(=>
    (instance ?IC IgnitionCoil)
    (hasPurpose ?IC
        (exists (?P ?S)
            (and
                (instance ?P ElectricTransmission)
                (instrument ?P ?IC)
                (instance ?S Spark)
                (causes ?P ?S)))))		 Cars.kif 3175-3183
(=>
    (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 31250-31259
(=>
    (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 31292-31301


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