numberAdultOccupant - Sigma Knowledge base Browser

appearance as argument number 1

(documentation numberAdultOccupant EnglishLanguage "(numberAdultOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that will be fulfilling the reservation")	Hotel.kif 2833-2835
(domain numberAdultOccupant 1 HotelReservation)	Hotel.kif 2817-2817
(domain numberAdultOccupant 2 Integer)	Hotel.kif 2818-2818
(instance numberAdultOccupant BinaryPredicate)	Hotel.kif 2832-2832
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2831-2831

appearance as argument number 2

(format ChineseLanguage numberAdultOccupant "%1 也许 have %2 成人")	domainEnglishFormat.kif 3987-3987
(format ChineseTraditionalLanguage numberAdultOccupant "%1 也許 have %2 成人")	domainEnglishFormat.kif 3986-3986
(format EnglishLanguage numberAdultOccupant "%1 may have %2 adults")	domainEnglishFormat.kif 3985-3985
(termFormat EnglishLanguage numberAdultOccupant "number of adult occupants")	Hotel.kif 2836-2836

antecedent

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

Hotel.kif 2839-2848