Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TurndownService(turndown service) |
| appearance as argument number 1 |
|
| (subclass TurndownService ServiceProcess) | Hotel.kif 1966-1966 | Turndown service is a subclass of service |
| (documentation TurndownService EnglishLanguage "TurndownService refers to a ServiceProcess wherein a Bed is prepared for Sleeping by Folding the bed linen") | Hotel.kif 1967-1968 | Turndown service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TurndownService "turndown service") | Hotel.kif 1969-1969 |
| 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 1971-1980 | If X is an instance of turndown service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of folding (3) W is an instance of bed linen (4) Z is an instance of bed (5) W is located at Z (6) W is a patient of Y (7) Y is a subprocess of X |
|