TurndownService(turndown service) |
appearance as argument number 1 |
(documentation TurndownService EnglishLanguage "TurndownService refers to a ServiceProcess wherein a Bed is prepared for Sleeping by Folding the bed linen") | Hotel.kif 1949-1950 | |
(subclass TurndownService ServiceProcess) | Hotel.kif 1948-1948 | Turndown service is a subclass of service |
appearance as argument number 2 |
(termFormat EnglishLanguage TurndownService "turndown service") | Hotel.kif 1951-1951 |
antecedent |
(=> (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 |
|