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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ResistorElement
ResistorElement(resistor element)ballast, ballast_resistor, barretter, resistance, resistor, resistor_element, 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 846-847
(lexicon ResistorElement LexNoun "resistor") engineering.kif 827-827 The lex noun word for resistor element is "resistor"
(represents ResistorElement Dissipator) engineering.kif 844-844 Resistor element expresses dissipator
(represents ResistorElement ElectricalTwopole) engineering.kif 845-845 Resistor element expresses electrical twopole
(subclass ResistorElement ElectricDevice) engineering.kif 828-828 Resistor element is a subclass of electric device
(subclass ResistorElement ElectricalComponent) engineering.kif 848-848 Resistor element is a subclass of electrical component

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


(termFormat ChineseLanguage ResistorElement "电阻元件") domainEnglishFormat.kif 49645-49645 "电阻元件" is the printable form of resistor element in ChineseLanguage
(termFormat ChineseTraditionalLanguage ResistorElement "電阻元件") domainEnglishFormat.kif 49644-49644 "電阻元件" is the printable form of resistor element in ChineseTraditionalLanguage
(termFormat EnglishLanguage ResistorElement "resistor element") domainEnglishFormat.kif 49643-49643 "resistor element" is the printable form of resistor element in english language

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


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

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


(=>
    (instance ?M Dissipator)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 830-835
(=>
    (instance ?M ElectricalTwopole)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 837-842


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners