numberChildOccupant - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation numberChildOccupant numberOccupant)	Hotel.kif 2912-2912	number of child occupants is a subrelation of number of occupants
(instance numberChildOccupant BinaryPredicate)	Hotel.kif 2913-2913	number of child occupants is an instance of binary predicate
(documentation numberChildOccupant EnglishLanguage "(numberChildOccupant ?RESERVE ?NUM) means tht the HotelReservation ?RESERVE indicates Integer ?NUM of HumanChild is included in the reservation")	Hotel.kif 2914-2916	number of child occupants is an instance of binary predicate
(domain numberChildOccupant 1 HotelReservation)	Hotel.kif 2918-2918	The number 1 argument of number of child occupants is an instance of hotel reservation
(domain numberChildOccupant 2 Integer)	Hotel.kif 2919-2919	The number 2 argument of number of child occupants is an instance of integer

appearance as argument number 2

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

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))))

If X may have Y children and Z fulfills X, then All of the following hold: (1) there exist W (2) V such that W is an instance of group of people (3) V is a proper sub-collection of W (4) V is an instance of group of people (5) human child is a member type of V (6) Y is a member count of V (7) W is a potential customer for Z