| ChildCareService | |
| appearance as argument number 1 |
|
|
| (documentation ChildCareService EnglishLanguage "ChildCareService refers to an agent looking after children and babies") | Hotel.kif 1878-1879 | |
| (subclass ChildCareService Maintaining) | Hotel.kif 1876-1876 | |
| (subclass ChildCareService ServiceProcess) | Hotel.kif 1877-1877 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChildCareService "child-care service") | Hotel.kif 1880-1880 |
| antecedent |
|
|
| (=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1894-1899 | |
| (=> (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 1883-1892 |
| 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 1913-1925 | |
| (=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (desires ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1901-1911 | |
| (=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1894-1899 |
|
|
|