(=>
(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 |
|
(=>
(attribute ?X PrivateAttribute)
(modalAttribute
(not
(attribute ?X CommunalAttribute)) Likely)) |
Mid-level-ontology.kif 27468-27471 |
|
(=>
(instance ?ROOM SelfServiceLaundry)
(attribute ?ROOM CommunalAttribute)) |
Mid-level-ontology.kif 25733-25735 |
|
(=>
(instance ?X Buffet)
(attribute ?X CommunalAttribute)) |
Dining.kif 267-269 |
|