Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Maid(maid) |  | amah, chambermaid, char, charwoman, cleaning_lady, cleaning_woman, fille_de_chambre, handmaid, handmaiden, housekeeper, housemaid, lady's_maid, maid, maidservant, parlormaid, parlourmaid, woman |
| appearance as argument number 1 |
|
|
| (instance Maid ServicePosition) | Mid-level-ontology.kif 22867-22867 | Maid is an instance of service position |
| (documentation Maid EnglishLanguage "This Attribute describes a Woman who works in a ServicePosition that entails performing various domestic tasks (cleaning, cooking, child care) for an individual or family over an extended period of time, typically months or years.") | Mid-level-ontology.kif 22869-22873 | Maid is an instance of service position |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (holdsDuring ?T1 (attribute ?MAID Maid)) (exists (?SERVE) (and (during (WhenFn ?SERVE) ?T1) (instance ?SERVE Serving) (agent ?SERVE ?MAID)))) |
Mid-level-ontology.kif 22875-22881 | If maid is an attribute of X holds during Y, then there exists Z such that the time of existence of Z takes place during Y, Z is an instance of serving, and X is an agent of Z |
| consequent |
|
|
| (=> (instance ?X RoomCleaningService) (exists (?MAID ?PLACE ?CLEAN) (and (attribute ?MAID Maid) (serviceProvider ?X ?MAID) (located ?X ?PLACE) (subProcess ?CLEAN ?X) (instance ?CLEAN Cleaning) (patient ?CLEAN ?PLACE) (agent ?CLEAN ?MAID)))) |
Hotel.kif 1941-1951 | If X is an instance of service, then All of the following hold: (1) there exist Y, Z (2) W such that maid is an attribute of Y (3) Y provides a service during X (4) X is located at Z (5) W is a subprocess of X (6) W is an instance of cleaning (7) Z is a patient of W (8) Y is an agent of W |
| (=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1953-1964 | If traveler accommodation is an attribute of X and X is capable of doing service as a agent, then All of the following hold: (1) there exist Y (2) Z such that X employs Y (3) maid is an attribute of Y (4) Z is an instance of hotel unit (5) Z is a part of belongings of X (6) Z is capable of doing service as a patient (7) Y is capable of doing service as a service provider |
|