allRoomsPolicy - Sigma Knowledge base Browser

appearance as argument number 2

s__format(s__ChineseLanguage,s__allRoomsPolicy__m,'"所有房间在 %1 有政策 %2 "')	domainEnglishFormat.kif 2775-2775
s__format(s__ChineseTraditionalLanguage,s__allRoomsPolicy__m,'"所有房間在 %1 有政策 %2 "')	domainEnglishFormat.kif 2774-2774
s__format(s__EnglishLanguage,s__allRoomsPolicy__m,'"all rooms in %1 have policy %2"')	domainEnglishFormat.kif 2773-2773
s__termFormat(s__EnglishLanguage,s__allRoomsPolicy__m,'"room policy in all rooms"')	Hotel.kif 223-223

antecedent

( ! [V__POLICY,V__INV] :
   ((s__instance(V__POLICY,s__Policy) &
       s__instance(V__INV,s__RoomInventory))
     =>
     s__allRoomsPolicy(V__INV,V__POLICY)
   =>
   ( ! [V__X] :
     ((s__instance(V__X,s__SetOrClass) &
         s__subclass(V__X,s__HotelUnit))
       =>
       s__memberType(V__INV,V__X)
     =>
     s__roomPolicy(V__X,V__POLICY)))
)
)

Hotel.kif 228-233

s__documentation(s__allRoomsPolicy__m,s__EnglishLanguage,'"(allRoomsPolicy ?INV ?POLICY) means that all rooms in RoomInventory ?INV have roomPolicy ?POLICY"')	Hotel.kif 221-222
s__domain(s__allRoomsPolicy__m,n__1,s__RoomInventory)	Hotel.kif 225-225	The number 1 argument of room policy in all rooms is an instance of room inventory
s__domain(s__allRoomsPolicy__m,n__2,s__Policy)	Hotel.kif 226-226	The number 2 argument of room policy in all rooms is an instance of policy
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__allRoomsPolicy__m,s__BinaryPredicate)	Hotel.kif 220-220	room policy in all rooms is an instance of binary predicate