| ChildCareService | |
| appearance as argument number 1 |
|
|
| (documentation ChildCareService EnglishLanguage "ChildCareService refers to an agent looking after children and babies") | Hotel.kif 1867-1868 | |
| (subclass ChildCareService Maintaining) | Hotel.kif 1865-1865 | |
| (subclass ChildCareService ServiceProcess) | Hotel.kif 1866-1866 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChildCareService "child-care service") | Hotel.kif 1869-1869 |
| antecedent |
|
|
| (=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1883-1888 | |
| (=> (instance ?SVC ChildCareService) (exists (?CHILD ?SITTER) (and (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby)) (serviceProvider ?SVC ?SITTER) (patient ?SVC ?CHILD) (not (parent ?CHILD ?SITTER))))) |
Hotel.kif 1872-1881 |
| consequent |
|
|
| (=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (exists (?NANNY ?CARE) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1902-1914 | |
| (=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (desires ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1890-1900 | |
| (=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1883-1888 |
|
|
|