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	Il numero 2 argomenti di maxRoomCapacity è un istanza di NumeroIntero
(domainSubclass maxRoomCapacity 1 StationaryArtifact)	Hotel.kif 476-476	Il numero 1 argomento maxRoomCapacity è una sottoclasse diManufattoStatico
(instance maxRoomCapacity BinaryPredicate)	Hotel.kif 470-470	maxRoomCapacity è un' istanza di PredicatoBinario

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