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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ResistorElement

Sigma KEE - ResistorElement
ResistorElement(resistor element)ballast, ballast_resistor, barretter, resistance, resistor, rheostat, variable_resistor

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


(documentation ResistorElement EnglishLanguage "An ElectricalComponent that resists the flow of electrical current. A Dissipator from electrical energy domain.") engineering.kif 850-851
(lexicon ResistorElement LexNoun "resistor") engineering.kif 831-831
(represents ResistorElement Dissipator) engineering.kif 848-848 Resistor element expresses dissipator
(represents ResistorElement ElectricalTwopole) engineering.kif 849-849 Resistor element expresses electrical twopole
(subclass ResistorElement ElectricDevice) engineering.kif 832-832 Resistor element is a subclass of electric device
(subclass ResistorElement ElectricalComponent) engineering.kif 852-852 Resistor element is a subclass of electrical component

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


(termFormat ChineseLanguage ResistorElement "电阻元件") domainEnglishFormat.kif 49689-49689
(termFormat ChineseTraditionalLanguage ResistorElement "電阻元件") domainEnglishFormat.kif 49688-49688
(termFormat EnglishLanguage ResistorElement "resistor element") domainEnglishFormat.kif 49687-49687

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


(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))
engineering.kif 853-858

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


(=>
    (instance ?M Dissipator)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 834-839
(=>
    (instance ?M ElectricalTwopole)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 841-846


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