TreeView 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	Die Zahl 2 Argument von maxRoomCapacity ist ein fall von Integer %n{nicht}
(domainSubclass maxRoomCapacity 1 StationaryArtifact)	Hotel.kif 476-476	Die Zahl 1 Argument von maxRoomCapacity ist eine teilkategorie von StationaryArtifact %n{nicht}
(instance maxRoomCapacity BinaryPredicate)	Hotel.kif 470-470	maxRoomCapacity ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人")	domainEnglishFormat.kif 3834-3834
(format ChineseTraditionalLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人")	domainEnglishFormat.kif 3833-3833
(format EnglishLanguage maxRoomCapacity "%1 can accommodate at most %2 people")	domainEnglishFormat.kif 3832-3832
(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