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	The number 1 argument of number of adult occupants is an instance of hotel reservation
(domain numberAdultOccupant 2 Integer)	Hotel.kif 2862-2862	The number 2 argument of number of adult occupants is an instance of integer
(instance numberAdultOccupant BinaryPredicate)	Hotel.kif 2876-2876	number of adult occupants is an instance of binary predicate
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2875-2875	number of adult occupants is a subrelation of number of occupants

appearance as argument number 2

(format ChineseLanguage numberAdultOccupant "%1 也许 have %2 成人")	domainEnglishFormat.kif 3976-3976
(format ChineseTraditionalLanguage numberAdultOccupant "%1 也許 have %2 成人")	domainEnglishFormat.kif 3975-3975
(format EnglishLanguage numberAdultOccupant "%1 may have %2 adults")	domainEnglishFormat.kif 3974-3974
(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