ElectricalPlug - Sigma Knowledge base Browser

appearance as argument number 1

(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 27587-27589
(subclass ElectricalPlug Plug)	Mid-level-ontology.kif 27586-27586	Electrical plug is a subclass of plug

appearance as argument number 2

(termFormat EnglishLanguage ElectricalPlug "electrical plug")

Mid-level-ontology.kif 27590-27590

antecedent

(=> (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 27604-27617	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a hole is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the hole and a third engineering component is an instance of power source and the third engineering component is connected to the hole, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the third engineering component and the process ends up at the other engineering component
(=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET)))))	Mid-level-ontology.kif 27596-27602	If a physical is an instance of electrical plug, then the physical has the purpose there exists an entity such that the entity is an instance of electrical outlet and the physical completely fills the entity
(=> (instance ?X ElectricalPlug) (material Metal ?X))	Mid-level-ontology.kif 27592-27594	If a corpuscular object is an instance of electrical plug, then the corpuscular object is made of metal

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)))))

Mid-level-ontology.kif 27634-27643

If a physical is an instance of outlet adapter,
then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of electrical plug and the entity is an instance of electrical outlet and the other entity completely fills the physical and the physical completely fills the entity and the physical connects the other entity and the entity

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

KB Term:			Term intersection

English Word: