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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ACPowerSource

Sigma KEE - ACPowerSource
ACPowerSource

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


(documentation ACPowerSource EnglishLanguage "ACPowerSource refers to an alternating current PowerSource") Mid-level-ontology.kif 24411-24412
(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 24410-24410 ACPowerSourcePowerSourcesubclass

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


(subclass SinglePhasePowerSource ACPowerSource) Mid-level-ontology.kif 24415-24415 SinglePhasePowerSourceACPowerSourcesubclass
(subclass ThreePhasePowerSource ACPowerSource) Mid-level-ontology.kif 24416-24416 ThreePhasePowerSourceACPowerSourcesubclass
(termFormat EnglishLanguage ACPowerSource "ac power source") Mid-level-ontology.kif 24413-24413 termFormat EnglishLanguage, ACPowerSource and "ac power source"

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


(=>
    (instance ?DPS DevicePowerSupply)
    (hasPurpose ?DPS
        (exists (?AC)
            (and
                (instance ?AC ACPowerSource)
                (connectedEngineeringComponents ?DPS ?AC)))))
ComputingBrands.kif 3384-3390


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners