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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalTwopole

Sigma KEE - ElectricalTwopole
ElectricalTwopole(electrical twopole)

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


(documentation ElectricalTwopole EnglishLanguage "A PureTwopole from electrical energy domain.") engineering.kif 527-527
(subclass ElectricalTwopole PureTwopole) engineering.kif 528-528 Electrical twopole is a subclass of pure twopole

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


(represents ResistorElement ElectricalTwopole) engineering.kif 849-849 Resistor element expresses electrical twopole
(termFormat ChineseLanguage ElectricalTwopole "电气双极") domainEnglishFormat.kif 21549-21549
(termFormat ChineseTraditionalLanguage ElectricalTwopole "電氣雙極") domainEnglishFormat.kif 21548-21548
(termFormat EnglishLanguage ElectricalTwopole "electrical twopole") domainEnglishFormat.kif 21547-21547

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


(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 540-545
(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C InductorElement)
            (represents ?M ?C))))
engineering.kif 558-563
(=>
    (instance ?M ElectricalTwopole)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 841-846


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