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 数量是 HotelReservation 的 instance
(domain numberOccupant 2 Integer)	Hotel.kif 2859-2859	numberOccupant 的 2 数量是整数的 instance
(instance numberOccupant BinaryPredicate)	Hotel.kif 2853-2853	numberOccupant 是二元谓语的 instance

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 是 numberOccupant 的 subrelation
(subrelation numberChildOccupant numberOccupant)	Hotel.kif 2894-2894	numberChildOccupant 是 numberOccupant 的 subrelation
(subrelation numberSeniorOccupant numberOccupant)	Hotel.kif 2916-2916	numberSeniorOccupant 是 numberOccupant 的 subrelation
(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