antecedent

(=>     (and         (instance ?POLICY WithHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY)         (attribute ?AGENT TravelerAccommodation))     (modalAttribute         (exists (?GUEST ?ROOM)             (and                 (guest ?GUEST ?AGENT)                 (holdsDuring                     (WhenFn                         (stays ?GUEST ?ROOM))                     (exists (?CLEAN)                         (and                             (instance ?CLEAN RoomCleaningService)                             (patient ?CLEAN ?ROOM)))))) Likely))

Hotel.kif 2715-2730

If a Policy is an instance of WithHousekeepingPolicy and policyOwner an organization and the Policy and TravelerAccommodation is an attribute of the organization, then the statement there exist an entity and another entity such that guest the entity and the organization and there exists a third entity such that the third entity is an instance of RoomCleaningService and the other entity is a patient of the third entity holds during the time of existence of stays the entity and the other entity has the modal force of Likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners