Plug - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Plug Artifact)	Mid-level-ontology.kif 4119-4119	Plug is a subclass of artifact
(documentation Plug EnglishLanguage "An Artifact which is designed to fit snugly within a HoleRegion.")	Mid-level-ontology.kif 4120-4121	Plug is a subclass of artifact
(externalImage Plug "http://upload.wikimedia.org/wikipedia/commons/e/ef/ CEE_7-17_plug.jpg")	pictureList.kif 1497-1497	Plug is a subclass of artifact

appearance as argument number 2

(subclass ElectricalPlug Plug)	Mid-level-ontology.kif 28597-28597	Electrical plug is a subclass of plug
(termFormat EnglishLanguage Plug "plug")	domainEnglishFormat.kif 46289-46289	Electrical plug is a subclass of plug
(termFormat ChineseTraditionalLanguage Plug "插頭")	domainEnglishFormat.kif 46290-46290	Electrical plug is a subclass of plug
(termFormat ChineseLanguage Plug "插头")	domainEnglishFormat.kif 46291-46291	Electrical plug is a subclass of plug

antecedent

(=>
    (instance ?PLUG Plug)
    (exists (?HOLE)
        (completelyFills ?PLUG ?HOLE)))

If X is an instance of plug, then there exists Y such that X completely fills Y