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	maxRoomCapacity 的 2 数量是整数的 instance
(domainSubclass maxRoomCapacity 1 StationaryArtifact)	Hotel.kif 476-476	maxRoomCapacity 的 1 数量是固定人工制品的 subclass
(instance maxRoomCapacity BinaryPredicate)	Hotel.kif 470-470	maxRoomCapacity 是二元谓语的 instance

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