numberOccupant - Sigma Knowledge base Browser

appearance as argument number 1

(instance numberOccupant BinaryPredicate)	Hotel.kif 2871-2871	number of occupants is an instance of binary predicate
(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 2872-2874	number of occupants is an instance of binary predicate
(domain numberOccupant 1 HotelReservation)	Hotel.kif 2876-2876	The number 1 argument of number of occupants is an instance of hotel reservation
(domain numberOccupant 2 Integer)	Hotel.kif 2877-2877	The number 2 argument of number of occupants is an instance of integer

appearance as argument number 2

(termFormat EnglishLanguage numberOccupant "number of occupants")	Hotel.kif 2875-2875
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2893-2893	number of adult occupants is a subrelation of number of occupants
(subrelation numberChildOccupant numberOccupant)	Hotel.kif 2912-2912	number of child occupants is a subrelation of number of occupants
(subrelation numberSeniorOccupant numberOccupant)	Hotel.kif 2934-2934	number of senior occupants is a subrelation of number of occupants
(format EnglishLanguage numberOccupant "%1 may have %2 occupants")	domainEnglishFormat.kif 3986-3986	number of senior occupants is a subrelation of number of occupants
(format ChineseTraditionalLanguage numberOccupant "%1 也許 have %2 居住者")	domainEnglishFormat.kif 3987-3987	number of senior occupants is a subrelation of number of occupants
(format ChineseLanguage numberOccupant "%1 也许 have %2 居住者")	domainEnglishFormat.kif 3988-3988	number of senior occupants is a subrelation of number of occupants

antecedent

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

If X may have Y occupants and Z fulfills X, then there exists W such that W is an instance of group of people, human is a member type of W, Y is a member count of W, and W is a potential customer for Z