Lid - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Lid EnglishLanguage "A Lid is a Covering Device. It sits at the top when being a part of the Container. It has the capability of Opening and Closing")	Mid-level-ontology.kif 4001-4002
(subclass Lid Device)	Mid-level-ontology.kif 4000-4000	Lid is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage Lid "盖子")	domainEnglishFormat.kif 64380-64380
(termFormat ChineseTraditionalLanguage Lid "蓋子")	domainEnglishFormat.kif 64381-64381
(termFormat EnglishLanguage Lid "lid")	domainEnglishFormat.kif 64379-64379

antecedent

(=> (instance ?L Lid) (exists (?C) (and (instance ?C Container) (part ?L ?C) (capability Closing instrument ?L) (capability Opening instrument ?L) (top ?L ?C))))	Mid-level-ontology.kif 4012-4020	If a self connected object is an instance of lid, then there exists another self connected object such that the other self connected object is an instance of container and the self connected object is a part of the other self connected object and the self connected object is capable of doing closing as a instrument and the self connected object is capable of doing opening as a instrument and the top of the other self connected object is the self connected object
(=> (instance ?L Lid) (hasPurpose ?L (exists (?COVER) (and (instance ?COVER Covering) (instrument ?COVER ?L)))))	Mid-level-ontology.kif 4004-4010	If a physical is an instance of lid, then the physical has the purpose there exists an entity such that the entity is an instance of covering and the physical is an instrument for the entity

consequent

(=>
    (instance ?C ContainerChest)
    (exists (?LID)
        (and
            (instance ?LID Lid)
            (part ?LID ?C))))

Mid-level-ontology.kif 3993-3998