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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalPlug
ElectricalPlug

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 25414-25416
(subclass ElectricalPlug Plug) Mid-level-ontology.kif 25413-25413 ElectricalPlug插头subclass

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


(termFormat EnglishLanguage ElectricalPlug "electrical plug") Mid-level-ontology.kif 25417-25417

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 25431-25444
(=>
    (instance ?X ElectricalPlug)
    (hasPurpose ?X
        (exists (?OUTLET)
            (and
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?X ?OUTLET)))))
Mid-level-ontology.kif 25423-25429
(=>
    (instance ?X ElectricalPlug)
    (material Metal ?X))
Mid-level-ontology.kif 25419-25421

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 25461-25470


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