|
|
   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 |
|
|
|