TreeView Knowledge Base Browser

appearance as argument number 1

(documentation numberOccupant EnglishLanguage "(numberOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of Human that will potentially be staying in the TravelerAccommodation")	Hotel.kif 2854-2856
(domain numberOccupant 1 HotelReservation)	Hotel.kif 2858-2858	域 numberOccupant, 1 and HotelReservation
(domain numberOccupant 2 Integer)	Hotel.kif 2859-2859	域 numberOccupant, 2 and Integer
(instance numberOccupant BinaryPredicate)	Hotel.kif 2853-2853	例 numberOccupant and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage numberOccupant "%1 也许 have %2 居住者")	domainEnglishFormat.kif 3990-3990
(format ChineseTraditionalLanguage numberOccupant "%1 也許 have %2 居住者")	domainEnglishFormat.kif 3989-3989
(format EnglishLanguage numberOccupant "%1 may have %2 occupants")	domainEnglishFormat.kif 3988-3988
(subrelation numberAdultOccupant numberOccupant)	Hotel.kif 2875-2875	子關係 numberAdultOccupant and numberOccupant
(subrelation numberChildOccupant numberOccupant)	Hotel.kif 2894-2894	子關係 numberChildOccupant and numberOccupant
(subrelation numberSeniorOccupant numberOccupant)	Hotel.kif 2916-2916	子關係 numberSeniorOccupant and numberOccupant
(termFormat EnglishLanguage numberOccupant "number of occupants")	Hotel.kif 2857-2857

antecedent

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

Hotel.kif 2864-2873