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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ResistorElement

Sigma KEE - ResistorElement
ResistorElement

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 852-853
(lexicon ResistorElement LexNoun "resistor") engineering.kif 833-833
(represents ResistorElement Dissipator) engineering.kif 850-850 ResistorElement d�finie Dissipator
(represents ResistorElement ElectricalTwopole) engineering.kif 851-851 ResistorElement d�finie ElectricalTwopole
(subclass ResistorElement ElectricDevice) engineering.kif 834-834 ResistorElement est une sous-classe de ElectricDevice
(subclass ResistorElement ElectricalComponent) engineering.kif 854-854 ResistorElement est une sous-classe de ElectricalComponent

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


(termFormat ChineseLanguage ResistorElement "电阻元件") domainEnglishFormat.kif 49706-49706
(termFormat ChineseTraditionalLanguage ResistorElement "電阻元件") domainEnglishFormat.kif 49705-49705
(termFormat EnglishLanguage ResistorElement "resistor element") domainEnglishFormat.kif 49704-49704

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


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

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


(=>
    (instance ?M Dissipator)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 836-841
(=>
    (instance ?M ElectricalTwopole)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 843-848


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