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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InductorElement
InductorElement

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


(documentation InductorElement EnglishLanguage "A ThroughVariableAccumulator from electrical energy domain.") engineering.kif 547-547
(externalImage InductorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a1/ Electronic_component_inductors.jpg/ 250px-Electronic_component_inductors.jpg") pictureList.kif 1147-1147
(lexicon InductorElement LexNoun "inductor") engineering.kif 548-548
(subclass InductorElement ElectricDevice) engineering.kif 549-549

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


(termFormat ChineseLanguage InductorElement "电感元件") domainEnglishFormat.kif 29742-29742
(termFormat ChineseTraditionalLanguage InductorElement "電感元件") domainEnglishFormat.kif 29741-29741
(termFormat EnglishLanguage InductorElement "inductor element") domainEnglishFormat.kif 29740-29740

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


(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C InductorElement)
            (represents ?M ?C))))
engineering.kif 558-563
(=>
    (instance ?M ThroughVariableAccumulator)
    (exists (?I)
        (and
            (instance ?I InductorElement)
            (represents ?M ?I))))
engineering.kif 551-556


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