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 25963-25965
(subclass ElectricalPlug Plug)	Mid-level-ontology.kif 25962-25962	ElectricalPlug ist eine teilkategorie von Plug

appearance as argument number 2

(termFormat EnglishLanguage ElectricalPlug "electrical plug")

Mid-level-ontology.kif 25966-25966

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 25980-25993	Wenn EngineeringComponent ist ein fall von ElectricalPlug %n{nicht} und EngineeringComponent ist ein fall von ElectricDevice %n{nicht} und HoleRegion ist ein fall von ElectricalOutlet %n{nicht} und EngineeringComponent wird mit EngineeringComponent angeschlossen und EngineeringComponent fuellt HoleRegion vollstaendig und EngineeringComponent ist ein fall von PowerSource %n{nicht} und EngineeringComponent wird mit HoleRegion angeschlossen, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Process beginnet an EngineeringComponent %n{nicht} und Process endet an ** EngineeringComponent %n{nicht}
(=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET)))))	Mid-level-ontology.kif 25972-25978	Wenn Physical ist ein fall von ElectricalPlug %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von ElectricalOutlet %n{nicht} und Physical fuellt entity vollstaendig %n{nicht}
(=> (instance ?X ElectricalPlug) (material Metal ?X))	Mid-level-ontology.kif 25968-25970	Wenn CorpuscularObject ist ein fall von ElectricalPlug %n{nicht}, dann Metal ist von ** CorpuscularObject gebildet

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 26010-26019

Wenn Physical ist ein fall von OutletAdapter %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** ** entity ist ein fall von ElectricalPlug %n{nicht} und ** entity ist ein fall von ElectricalOutlet %n{nicht} und ** ** entity fuellt ** Physical vollstaendig und ** Physical fuellt ** entity vollstaendig und ** Physical schliesst ** ** entity und ** entity an %n{nicht}

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: