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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricTransmission

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 ist eine teilkategorie von RadiatingElectromagnetic
(subclass ElectricTransmission Transfer) Cars.kif 2388-2388 ElectricTransmission ist eine teilkategorie von Transfer

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


(subclass Charging ElectricTransmission) Cars.kif 2403-2403 Charging ist eine teilkategorie von ElectricTransmission
(subclass Discharging ElectricTransmission) Cars.kif 2425-2425 Discharging ist eine teilkategorie von ElectricTransmission
(subclass Spark ElectricTransmission) Cars.kif 418-418 Spark ist eine teilkategorie von ElectricTransmission
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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