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 2854-2856
(domain numberOccupant 1 HotelReservation)	Hotel.kif 2858-2858	The number 1 argument of number of occupants is an instance of hotel reservation
(domain numberOccupant 2 Integer)	Hotel.kif 2859-2859	The number 2 argument of number of occupants is an instance of integer
(instance numberOccupant BinaryPredicate)	Hotel.kif 2853-2853	number of occupants is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage numberOccupant "%1 也许 have %2 居住者")	domainEnglishFormat.kif 3984-3984
(format ChineseTraditionalLanguage numberOccupant "%1 也許 have %2 居住者")	domainEnglishFormat.kif 3983-3983
(format EnglishLanguage numberOccupant "%1 may have %2 occupants")	domainEnglishFormat.kif 3982-3982
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2875-2875	number of adult occupants is a subrelation of number of occupants
(subrelation numberChildOccupant numberOccupant)	Hotel.kif 2894-2894	number of child occupants is a subrelation of number of occupants
(subrelation numberSeniorOccupant numberOccupant)	Hotel.kif 2916-2916	number of senior occupants is a subrelation of number of occupants
(termFormat EnglishLanguage numberOccupant "number of occupants")	Hotel.kif 2857-2857	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))))

Hotel.kif 2864-2873