Lid
|
|
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage Lid "盖子") | domainEnglishFormat.kif 64334-64334 | |
(termFormat ChineseTraditionalLanguage Lid "蓋子") | domainEnglishFormat.kif 64335-64335 | |
(termFormat EnglishLanguage Lid "lid") | domainEnglishFormat.kif 64333-64333 |
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 | |
(=> (instance ?L Lid) (hasPurpose ?L (exists (?COVER) (and (instance ?COVER Covering) (instrument ?COVER ?L))))) |
Mid-level-ontology.kif 4004-4010 |
consequent |
(=> (instance ?C ContainerChest) (exists (?LID) (and (instance ?LID Lid) (part ?LID ?C)))) |
Mid-level-ontology.kif 3993-3998 |