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 2877-2879
(domain numberAdultOccupant 1 HotelReservation)	Hotel.kif 2861-2861	numberAdultOccupant 的 1 数量是 HotelReservation 的 instance
(domain numberAdultOccupant 2 Integer)	Hotel.kif 2862-2862	numberAdultOccupant 的 2 数量是整数的 instance
(instance numberAdultOccupant BinaryPredicate)	Hotel.kif 2876-2876	numberAdultOccupant 是二元谓语的 instance
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2875-2875	numberAdultOccupant 是 numberOccupant 的 subrelation

appearance as argument number 2

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

antecedent

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

Hotel.kif 2883-2892