allRoomsServiceAmenity - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__allRoomsServiceAmenity__m,s__EnglishLanguage,'"(allRoomsServiceAmenity ?INV ?SVC) means that all rooms in RoomInventory ?INV have roomAmenity ?SVC"')	Hotel.kif 206-207
s__domain(s__allRoomsServiceAmenity__m,n__1,s__RoomInventory)	Hotel.kif 210-210	The number 1 argument of service amenity in all rooms is an instance of room inventory
s__domainSubclass(s__allRoomsServiceAmenity__m,n__2,s__ServiceProcess)	Hotel.kif 211-211	The number 2 argument of service amenity in all rooms is a subclass of service
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__allRoomsServiceAmenity__m,s__BinaryPredicate)	Hotel.kif 205-205	service amenity in all rooms is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__allRoomsServiceAmenity__m,'"所有房间在在 %1 有服务 %2 "')	domainEnglishFormat.kif 2779-2779
s__format(s__ChineseTraditionalLanguage,s__allRoomsServiceAmenity__m,'"所有房間在在 %1 有服務 %2 "')	domainEnglishFormat.kif 2778-2778
s__format(s__EnglishLanguage,s__allRoomsServiceAmenity__m,'"all rooms in %1 have service %2"')	domainEnglishFormat.kif 2777-2777
s__termFormat(s__EnglishLanguage,s__allRoomsServiceAmenity__m,'"service amenity in all rooms"')	Hotel.kif 208-208

antecedent

( ! [V__OBJ,V__INV] :
   ((s__subclass(V__OBJ,s__ServiceProcess) &
       s__subclass(V__OBJ,s__Physical) &
       s__instance(V__INV,s__RoomInventory))
     =>
     s__allRoomsServiceAmenity(V__INV,V__OBJ)
   =>
   ( ! [V__X] :
     ((s__instance(V__X,s__SetOrClass) &
         s__subclass(V__X,s__HotelUnit))
       =>
       s__memberType(V__INV,V__X)
     =>
     s__roomAmenity(V__X,V__OBJ)))
)
)

Hotel.kif 213-218