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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CapacitorElement
CapacitorElement

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


(documentation CapacitorElement EnglishLanguage "An AcrossVariableAccumulator from electrical energy domain.") engineering.kif 533-533
(externalImage CapacitorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ de/ Condensators.JPG/ 180px-Condensators.JPG") pictureList.kif 1064-1064
(lexicon CapacitorElement LexNoun "capacitor") engineering.kif 534-534
(subclass CapacitorElement ElectricDevice) engineering.kif 535-535 CapacitorElement ist eine teilkategorie von ElectricDevice

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


(termFormat ChineseLanguage CapacitorElement "电容器元件") domainEnglishFormat.kif 13038-13038
(termFormat ChineseTraditionalLanguage CapacitorElement "電容器元件") domainEnglishFormat.kif 13037-13037
(termFormat EnglishLanguage CapacitorElement "capacitor element") domainEnglishFormat.kif 13036-13036

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


(=>
    (instance ?M AcrossVariableAccumulator)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 536-541
(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 543-548


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