maxRoomCapacity - Sigma Knowledge base Browser

appearance as argument number 1

(instance maxRoomCapacity BinaryPredicate)	Hotel.kif 470-470	maximum capacity is an instance of binary predicate
(documentation maxRoomCapacity EnglishLanguage "(maxRoomCapacity ?ROOM ?NUM) means that TravelerAccommodation allows a maximum number of ?NUM people to stay in ?ROOM during one stay")	Hotel.kif 471-473	maximum capacity is an instance of binary predicate
(domainSubclass maxRoomCapacity 1 StationaryArtifact)	Hotel.kif 476-476	The number 1 argument of maximum capacity is a subclass of stationary artifact
(domain maxRoomCapacity 2 Integer)	Hotel.kif 477-477	The number 2 argument of maximum capacity is an instance of integer

appearance as argument number 2

(termFormat EnglishLanguage maxRoomCapacity "maximum capacity")	Hotel.kif 474-474
(format EnglishLanguage maxRoomCapacity "%1 can accommodate at most %2 people")	domainEnglishFormat.kif 3830-3830
(format ChineseTraditionalLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人")	domainEnglishFormat.kif 3831-3831
(format ChineseLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人")	domainEnglishFormat.kif 3832-3832

antecedent

(=>
    (and
        (maxRoomCapacity ?ROOM ?NUM)
        (instance ?X ?ROOM)
        (element ?X
            (PropertyFn ?AGENT)))
    (modalAttribute
        (exists (?GRP ?PPL)
            (and
                (instance ?GRP GroupOfPeople)
                (memberCount ?GRP ?PPL)
                (lessThanOrEqualTo ?PPL ?NUM)
                (stays ?GRP ?X))) Possibility))

If X can accommodate at most Y people, Z is an instance of X, and Z is an element of belongings of W, then the statement there exist V, U such that V is an instance of group of people, U is a member count of V, U is less than or equal to Y, and V stays at Z has the modal force of possibility