TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ACPowerSource PowerSource)	Mid-level-ontology.kif 28912-28912	Ac power source is a subclass of power source
(documentation ACPowerSource EnglishLanguage "ACPowerSource refers to an alternating current PowerSource")	Mid-level-ontology.kif 28913-28914	Ac power source is a subclass of power source
(defaultMinimumMeasure ACPowerSource (MeasureFn 120 Volt))	DimensioningAmenities.kif 24-24	The minimum expected value of ac power source is 120 volt(s)
(defaultMaximumMeasure ACPowerSource (MeasureFn 220 Volt))	DimensioningAmenities.kif 25-25	The maximum expected value of ac power source is 220 volt(s)

appearance as argument number 2

(termFormat EnglishLanguage ACPowerSource "ac power source")	Mid-level-ontology.kif 28915-28915
(subclass SinglePhasePowerSource ACPowerSource)	Mid-level-ontology.kif 28917-28917	Single phase power source is a subclass of ac power source
(subclass ThreePhasePowerSource ACPowerSource)	Mid-level-ontology.kif 28918-28918	Three phase power source is a subclass of ac power source

consequent

(=>
    (instance ?DPS DevicePowerSupply)
    (hasPurpose ?DPS
        (exists (?AC)
            (and
                (instance ?AC ACPowerSource)
                (connectedEngineeringComponents ?DPS ?AC)))))

If X is an instance of device power supply, then X has the purpose there exists Y such that Y is an instance of ac power source and X is connected to Y