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 4074-4075
(subclass Lid Device)	Mid-level-ontology.kif 4073-4073	Lid is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage Lid "盖子")	domainEnglishFormat.kif 64355-64355
(termFormat ChineseTraditionalLanguage Lid "蓋子")	domainEnglishFormat.kif 64356-64356
(termFormat EnglishLanguage Lid "lid")	domainEnglishFormat.kif 64354-64354

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 4085-4093	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 4077-4083	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 4066-4071