consequent

! [V__AGENT : $i,V__NUM : $int,V__ROOM : $i,V__X : $i] : (((s__maxRoomCapacity(V__ROOM, V__NUM) & s__instance(V__X, V__ROOM) & s__element(V__X, s__PropertyFn(V__AGENT))) => s__modalAttribute(( ? [V__GRP:$i, V__PPL:$int] : ((s__instance(V__GRP, s__GroupOfPeople) & s__memberCount(V__GRP, V__PPL) & ($lesseq(V__PPL,V__NUM)) & s__stays(V__GRP, V__X)))), s__Possibility)))	Hotel.kif 479-490	If X can accommodate at most Y people, Z is an instance of X, and Z is an element of belongings of W, then the statement there exist V, U such that V is an instance of group of people, U is a member count of V, U is less than or equal to Y, and V stays at Z has the modal force of possibility
! [V__X : $i] : ((s__attribute(V__X, s__ChildrenSuite) => s__hasPurpose(V__X, ( ? [V__CHILD:$i] : ((s__instance(V__CHILD, s__HumanChild) & s__stays(V__CHILD, V__X)))))))	Hotel.kif 1037-1043	If children's suite is an attribute of X, then X has the purpose there exists Y such that Y is an instance of human child and Y stays at X
! [V__X : $i] : ((s__attribute(V__X, s__FemaleExecutiveRoom) => s__hasPurpose(V__X, ( ? [V__HUMAN:$i] : ((s__instance(V__HUMAN, s__Human) & s__attribute(V__HUMAN, s__Female) & s__attribute(V__HUMAN, s__BusinessExecutive) & s__stays(V__HUMAN, V__X)))))))	Hotel.kif 1050-1058	If female executive room is an attribute of X, then X has the purpose there exists Y such that Y is an instance of human, female is an attribute of Y, business executive is an attribute of Y, and Y stays at X
! [V__X : $i] : ((s__attribute(V__X, s__ExecutiveLevel) => ( ! [V__Y:$i] : (((s__instance(V__Y, s__HotelRoom) & s__located(V__Y, V__X)) => s__hasPurpose(V__Y, ( ? [V__HUMAN:$i] : ((s__attribute(V__HUMAN, s__BusinessExecutive) & s__instance(V__HUMAN, s__Human) & s__stays(V__HUMAN, V__Y))))))))))	Hotel.kif 1232-1244	If executive level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that business executive is an attribute of Z, Z is an instance of human, and Z stays at Y
! [V__X : $i] : ((s__attribute(V__X, s__ExclusiveFemaleLevel) => ( ! [V__Y:$i] : (((s__instance(V__Y, s__HotelRoom) & s__located(V__Y, V__X)) => s__hasPurpose(V__Y, ( ? [V__HUMAN:$i] : ((s__attribute(V__HUMAN, s__Female) & s__stays(V__HUMAN, V__Y))))))))))	Hotel.kif 1251-1262	If female level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that female is an attribute of Z and Z stays at Y
! [V__SVC] : ((s__instance(V__SVC,s__ValetLaundryService) =>      (? [V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] :        ((s__instance(V__CUST,s__Human) &            s__instance(V__AGENT,s__AutonomousAgent) &            s__instance(V__LOC,s__TemporaryResidence) &            (s__customer(V__CUST,V__AGENT)            &            s__stays(V__CUST,V__LOC)          &          s__agent(V__SVC,V__AGENT)        &        s__instance(V__CLOTHES,s__Clothing) &        s__instance(V__PICKUP,s__Getting) &        s__located(V__PICKUP,V__LOC)      &      s__patient(V__PICKUP,V__CLOTHES)    &    s__agent(V__PICKUP,V__AGENT) & (s__instance(V__LAUNDRY,s__LaundryService) |    s__instance(V__LAUNDRY,s__DryCleaningService)) & s__agent(V__LAUNDRY,V__AGENT) & s__patient(V__LAUNDRY,V__CLOTHES) & s__instance(V__DELIVERY,s__DeliveryService) & s__patient(V__DELIVERY,V__CLOTHES) & s__destination(V__DELIVERY,V__LOC) & s__before(s__BeginFn(s__WhenFn(V__PICKUP)) ,s__BeginFn(s__WhenFn(V__LAUNDRY))) & s__before(s__BeginFn(s__WhenFn(V__LAUNDRY)) ,s__BeginFn(s__WhenFn(V__DELIVERY)))))))) )	Hotel.kif 1844-1865	If X is an instance of valet laundry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Z is a customer of Y (3) Y stays at W (4) Z is an agent of X (5) V is an instance of clothing (6) T is an instance of getting (7) T is located at W (8) V is a patient of T (9) Z is an agent of T (10) U is an instance of laundry service or U is an instance of dry-clean (11) Z is an agent of U (12) V is a patient of U (13) S is an instance of delivery service (14) V is a patient of S (15) S ends up at W (16) the beginning of the time of existence of T happens before the beginning of the time of existence of U (17) the beginning of the time of existence of U happens before the beginning of the time of existence of S
! [V__SVC] : ((s__instance(V__SVC,s__ExecutiveService) =>      (? [V__HUMAN,V__LEVEL,V__ROOM] :        ((s__instance(V__HUMAN,s__Human) &            s__instance(V__LEVEL,s__Object) &            s__instance(V__ROOM,s__TemporaryResidence) &            (s__serviceRecipient(V__SVC,V__HUMAN)            &            s__stays(V__HUMAN,V__ROOM)          &          s__located(V__ROOM,V__LEVEL)        &        s__attribute(V__LEVEL,s__ExecutiveLevel)))))) )	Hotel.kif 2263-2270	If X is an instance of executive service, then there exist Y, Z, W such that Y receives a service during X, Y stays at W, W is located at Z, and executive level is an attribute of Z
! [V__CUST : $i,V__RESERVE : $i,V__ROOMTYPE : $i,V__TIME1 : $i,V__TIME2 : $i] : (((s__reservedRoom(V__RESERVE, V__ROOMTYPE) & s__reservationStart(V__RESERVE, V__TIME1) & s__reservationEnd(V__RESERVE, V__TIME2) & s__reservingEntity(V__RESERVE, V__CUST)) => s__modalAttribute(s__holdsDuring(s__TimeIntervalFn(V__TIME1, V__TIME2), ( ? [V__X:$i] : ((s__instance(V__X, V__ROOMTYPE) & s__stays(V__CUST, V__X))))), s__Likely)))	Hotel.kif 2969-2981	If X is a reservation for Y, Z starts at X, W ends at X, and X reserves V, then the statement there exists U such that U is an instance of Y, V stays at U holds during interval between Z, and W 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners