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 550-550
(externalImage InductorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a1/ Electronic_component_inductors.jpg/ 250px-Electronic_component_inductors.jpg") pictureList.kif 1146-1146
(lexicon InductorElement LexNoun "inductor") engineering.kif 551-551
(subclass InductorElement ElectricDevice) engineering.kif 552-552 InductorElement ist eine teilkategorie von ElectricDevice

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


(termFormat ChineseLanguage InductorElement "电感元件") domainEnglishFormat.kif 29755-29755
(termFormat ChineseTraditionalLanguage InductorElement "電感元件") domainEnglishFormat.kif 29754-29754
(termFormat EnglishLanguage InductorElement "inductor element") domainEnglishFormat.kif 29753-29753

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


(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C InductorElement)
            (represents ?M ?C))))
engineering.kif 561-566
(=>
    (instance ?M ThroughVariableAccumulator)
    (exists (?I)
        (and
            (instance ?I InductorElement)
            (represents ?M ?I))))
engineering.kif 554-559


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