BedLinen(bed linen) | ![]() | bed_linen, bed_sheet, case, mattress_cover, pillow_sham, pillow_slip, pillowcase, sheet, slip |
appearance as argument number 1 |
![]() |
(documentation BedLinen EnglishLanguage "BedLinen is an Artifact made of Fabric that is used to Covering a Bed") | Mid-level-ontology.kif 4189-4190 | |
(subclass BedLinen Artifact) | Mid-level-ontology.kif 4188-4188 | Bed linen is a subclass of artifact |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage BedLinen "bed linen") | Mid-level-ontology.kif 4191-4191 |
antecedent |
![]() |
(=> (instance ?X BedLinen) (hasPurpose ?X (exists (?COVER ?BED) (and (instance ?COVER Covering) (patient ?COVER ?BED) (instance ?BED Bed) (instrument ?COVER ?X))))) |
Mid-level-ontology.kif 4197-4205 |
|
(=> (instance ?X BedLinen) (material Fabric ?X)) |
Mid-level-ontology.kif 4193-4195 |
|
consequent |
![]() |
(=> (instance ?X TurndownService) (exists (?FOLD ?BED ?SHEET) (and (instance ?FOLD Folding) (instance ?SHEET BedLinen) (instance ?BED Bed) (located ?SHEET ?BED) (patient ?FOLD ?SHEET) (subProcess ?FOLD ?X)))) |
Hotel.kif 1953-1962 |
|
![]() |
![]() |