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 2888-2890
(domain numberAdultOccupant 1 HotelReservation)	Hotel.kif 2872-2872
(domain numberAdultOccupant 2 Integer)	Hotel.kif 2873-2873
(instance numberAdultOccupant BinaryPredicate)	Hotel.kif 2887-2887
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2886-2886

appearance as argument number 2

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

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 2894-2903