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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalTwopole
ElectricalTwopole

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


(documentation ElectricalTwopole EnglishLanguage "A PureTwopole from electrical energy domain.") engineering.kif 530-530
(subclass ElectricalTwopole PureTwopole) engineering.kif 531-531 ElectricalTwopole ist eine teilkategorie von PureTwopole

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


(represents ResistorElement ElectricalTwopole) engineering.kif 851-851 ResistorElement drueckt ElectricalTwopole aus
(termFormat ChineseLanguage ElectricalTwopole "电气双极") domainEnglishFormat.kif 21558-21558
(termFormat ChineseTraditionalLanguage ElectricalTwopole "電氣雙極") domainEnglishFormat.kif 21557-21557
(termFormat EnglishLanguage ElectricalTwopole "electrical twopole") domainEnglishFormat.kif 21556-21556

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


(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 543-548
(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C InductorElement)
            (represents ?M ?C))))
engineering.kif 561-566
(=>
    (instance ?M ElectricalTwopole)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 843-848


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