Plug - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Plug EnglishLanguage "An Artifact which is designed to fit snugly within a Hole.")	Mid-level-ontology.kif 4197-4198
(externalImage Plug "http://upload.wikimedia.org/wikipedia/commons/e/ef/ CEE_7-17_plug.jpg")	pictureList.kif 1498-1498
(subclass Plug Artifact)	Mid-level-ontology.kif 4196-4196

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 4200-4203