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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CapacitorElement

Sigma KEE - CapacitorElement
CapacitorElement

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


(documentation CapacitorElement EnglishLanguage "An AcrossVariableAccumulator from electrical energy domain.") engineering.kif 530-530
(externalImage CapacitorElement "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ de/ Condensators.JPG/ 180px-Condensators.JPG") pictureList.kif 1065-1065
(lexicon CapacitorElement LexNoun "capacitor") engineering.kif 531-531
(subclass CapacitorElement ElectricDevice) engineering.kif 532-532

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


(termFormat ChineseLanguage CapacitorElement "电容器元件") domainEnglishFormat.kif 13041-13041
(termFormat ChineseTraditionalLanguage CapacitorElement "電容器元件") domainEnglishFormat.kif 13040-13040
(termFormat EnglishLanguage CapacitorElement "capacitor element") domainEnglishFormat.kif 13039-13039

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


(=>
    (instance ?M AcrossVariableAccumulator)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 533-538
(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 540-545


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