(=>
(instance ?ROOM SelfServiceLaundry)
(attribute ?ROOM CommunalAttribute)) |
Mid-level-ontology.kif 27716-27718 |
If X is an instance of self-service laundry, then communal is an attribute of X |
(=>
(attribute ?X PrivateAttribute)
(modalAttribute
(not
(attribute ?X CommunalAttribute)) Likely)) |
Mid-level-ontology.kif 29766-29769 |
If private attribute is an attribute of X, then the statement communal is not an attribute of X has the modal force of likely |
(=>
(instance ?X Buffet)
(attribute ?X CommunalAttribute)) |
Dining.kif 267-269 |
If X is an instance of buffet, then communal is an attribute of X |
(=>
(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 1920-1932 |
If X is an instance of nursery, X is an element of belongings of Y, and traveler accommodation is an attribute of Y, then there exist Z, W such that communal is an attribute of X, Y employs Z, Z has the purpose W is an instance of child-care service, and Z provides a service during W |
