Lid - Sigma Knowledge base Browser

antecedent

(=> (instance ?L Lid) (hasPurpose ?L (exists (?COVER) (and (instance ?COVER Covering) (instrument ?COVER ?L)))))	Mid-level-ontology.kif 4657-4663	If X is an instance of lid, then X has the purpose there exists Y such that Y is an instance of covering and X is an instrument for Y
(=> (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 4665-4673	If X is an instance of lid, then there exists Y such that Y is an instance of container, X is a part of Y, X is capable of doing closing as a instrument, X is capable of doing opening as a instrument, and the top of Y is X

consequent

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

If X is an instance of chest container, then there exists Y such that Y is an instance of lid and Y is a part of X

(subclass Lid Device)	Mid-level-ontology.kif 4653-4653	Lid is a subclass of device
(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 4654-4655	Lid is a subclass of device

(termFormat EnglishLanguage Lid "lid")	domainEnglishFormat.kif 64334-64334
(termFormat ChineseLanguage Lid "盖子")	domainEnglishFormat.kif 64335-64335
(termFormat ChineseTraditionalLanguage Lid "蓋子")	domainEnglishFormat.kif 64336-64336