TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ElectricalPlug Plug)	Mid-level-ontology.kif 28501-28501	Electrical plug is a subclass of plug
(documentation ElectricalPlug EnglishLanguage "ElectricalPlug is a type of Plug made of metal that is normally used to conduct electricity from an ElectricalOutlet to an ElectricDevice")	Mid-level-ontology.kif 28502-28504	Electrical plug is a subclass of plug

appearance as argument number 2

antecedent

(=> (instance ?X ElectricalPlug) (material Metal ?X))	Mid-level-ontology.kif 28507-28509	If X is an instance of electrical plug, then X is made of metal
(=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET)))))	Mid-level-ontology.kif 28511-28517	If X is an instance of electrical plug, then X has the purpose there exists Y such that Y is an instance of electrical outlet and X completely fills Y
(=> (and (instance ?PLUG ElectricalPlug) (instance ?DEVICE ElectricDevice) (instance ?OUTLET ElectricalOutlet) (connectedEngineeringComponents ?DEVICE ?PLUG) (completelyFills ?PLUG ?OUTLET) (instance ?POWER PowerSource) (connectedEngineeringComponents ?POWER ?OUTLET)) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?POWER) (destination ?RE ?DEVICE))))	Mid-level-ontology.kif 28519-28532	If All of the following hold: (1) X is an instance of electrical plug (2) Y is an instance of electric device (3) Z is an instance of electrical outlet (4) Y is connected to X (5) X completely fills Z (6) W is an instance of power source (7) W is connected to Z, then there exists V such that V is an instance of radiating electromagnetic, V originates at W, and V ends up at Y

consequent

(=>
    (instance ?ADAPT OutletAdapter)
    (hasPurpose ?ADAPT
        (exists (?OUTLET ?PLUG)
            (and
                (instance ?PLUG ElectricalPlug)
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?PLUG ?ADAPT)
                (completelyFills ?ADAPT ?OUTLET)
                (connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET)))))

If X is an instance of outlet adapter, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Z is an instance of electrical plug (3) Y is an instance of electrical outlet (4) Z completely fills X (5) X completely fills Y (6) X connects Z (7) Y