maxRoomCapacity - Sigma Knowledge base Browser

appearance as argument number 1

(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
(domain maxRoomCapacity 2 Integer)	Hotel.kif 477-477	The number 2 argument of maximum capacity is an instance of integer
(domainSubclass maxRoomCapacity 1 StationaryArtifact)	Hotel.kif 476-476	The number 1 argument of maximum capacity is a subclass of stationary artifact
(instance maxRoomCapacity BinaryPredicate)	Hotel.kif 470-470	maximum capacity is an instance of binary predicate

appearance as argument number 2

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

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

Hotel.kif 479-490