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 | ChildCareService e' uma sub-classe de Preservar |
(subclass ChildCareService ServiceProcess) | Hotel.kif 1866-1866 | ChildCareService e' uma sub-classe de ServiceProcess |
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 |