numberOccupant - Sigma Knowledge base Browser

appearance as argument number 1

(documentation numberOccupant EnglishLanguage "(numberOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of Human that will potentially be staying in the TravelerAccommodation")	Hotel.kif 2865-2867
(domain numberOccupant 1 HotelReservation)	Hotel.kif 2869-2869	Le nombre 1 argument de numberOccupant est une instance de HotelReservation
(domain numberOccupant 2 Integer)	Hotel.kif 2870-2870	Le nombre 2 argument de numberOccupant est une instance de nombre entier
(instance numberOccupant BinaryPredicate)	Hotel.kif 2864-2864	numberOccupant est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage numberOccupant "%1 也许 have %2 居住者")	domainEnglishFormat.kif 3988-3988
(format ChineseTraditionalLanguage numberOccupant "%1 也許 have %2 居住者")	domainEnglishFormat.kif 3987-3987
(format EnglishLanguage numberOccupant "%1 may have %2 occupants")	domainEnglishFormat.kif 3986-3986
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2886-2886	numberAdultOccupant est une sous-relation de numberOccupant
(subrelation numberChildOccupant numberOccupant)	Hotel.kif 2905-2905	numberChildOccupant est une sous-relation de numberOccupant
(subrelation numberSeniorOccupant numberOccupant)	Hotel.kif 2927-2927	numberSeniorOccupant est une sous-relation de numberOccupant
(termFormat EnglishLanguage numberOccupant "number of occupants")	Hotel.kif 2868-2868	numberSeniorOccupant est une sous-relation de numberOccupant

antecedent

(=>
    (and
        (numberOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?HOTEL ?RESERVE))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL Human)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))

Hotel.kif 2875-2884