numberAdultOccupant - Sigma Knowledge base Browser

appearance as argument number 1

(domain numberAdultOccupant 1 HotelReservation)	Hotel.kif 2879-2879	The number 1 argument of number of adult occupants is an instance of hotel reservation
(domain numberAdultOccupant 2 Integer)	Hotel.kif 2880-2880	The number 2 argument of number of adult occupants is an instance of integer
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2893-2893	number of adult occupants is a subrelation of number of occupants
(instance numberAdultOccupant BinaryPredicate)	Hotel.kif 2894-2894	number of adult occupants is an instance of binary predicate
(documentation numberAdultOccupant EnglishLanguage "(numberAdultOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that will be fulfilling the reservation")	Hotel.kif 2895-2897	number of adult occupants is an instance of binary predicate

appearance as argument number 2

(termFormat EnglishLanguage numberAdultOccupant "number of adult occupants")	Hotel.kif 2898-2898
(format EnglishLanguage numberAdultOccupant "%1 may have %2 adults")	domainEnglishFormat.kif 3978-3978
(format ChineseTraditionalLanguage numberAdultOccupant "%1 也許 have %2 成人")	domainEnglishFormat.kif 3979-3979
(format ChineseLanguage numberAdultOccupant "%1 也许 have %2 成人")	domainEnglishFormat.kif 3980-3980

antecedent

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

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