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 2846-2848
(domain numberAdultOccupant 1 HotelReservation)	Hotel.kif 2830-2830
(domain numberAdultOccupant 2 Integer)	Hotel.kif 2831-2831
(instance numberAdultOccupant BinaryPredicate)	Hotel.kif 2845-2845
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2844-2844

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 2849-2849

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 2852-2861