| Nursery | |
| appearance as argument number 1 |
|
|
| (documentation Nursery EnglishLanguage "Nursery refers to a Room for babies") | Mid-level-ontology.kif 24925-24925 | |
| (subclass Nursery Room) | Mid-level-ontology.kif 24924-24924 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Nursery "nursery") | Mid-level-ontology.kif 24926-24926 |
| antecedent |
|
|
| (=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (exists (?CARE) (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1850-1862 | |
| (=> (instance ?X Nursery) (exists (?CRIB) (and (instance ?CRIB Crib) (located ?CRIB ?X)))) |
Mid-level-ontology.kif 24928-24933 |
|
|
|