numberChildOccupant - Sigma Knowledge base Browser

appearance as argument number 1

(documentation numberChildOccupant EnglishLanguage "(numberChildOccupant ?RESERVE ?NUM) means tht the HotelReservation ?RESERVE indicates Integer ?NUM of HumanChild is included in the reservation")	Hotel.kif 2907-2909
(domain numberChildOccupant 1 HotelReservation)	Hotel.kif 2911-2911	numberChildOccupant の数値 1 引数は HotelReservation の instance では
(domain numberChildOccupant 2 Integer)	Hotel.kif 2912-2912	numberChildOccupant の数値 2 引数は整数の instance では
(instance numberChildOccupant BinaryPredicate)	Hotel.kif 2906-2906	numberChildOccupant は 2進述語の instance では
(subrelation numberChildOccupant numberOccupant)	Hotel.kif 2905-2905	numberChildOccupant は numberOccupant の subrelation では

appearance as argument number 2

(format ChineseLanguage numberChildOccupant "%1 也许 have %2 孩童")	domainEnglishFormat.kif 3984-3984
(format ChineseTraditionalLanguage numberChildOccupant "%1 也許 have %2 孩童")	domainEnglishFormat.kif 3983-3983
(format EnglishLanguage numberChildOccupant "%1 may have %2 children")	domainEnglishFormat.kif 3982-3982
(termFormat EnglishLanguage numberChildOccupant "number of child occupants")	Hotel.kif 2910-2910

antecedent

(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?HOTEL ?RESERVE))
    (exists (?COL ?SUBCOL)
        (and
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))

Hotel.kif 2914-2925