Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maxRoomCapacity
maxRoomCapacity

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 451-453
(domain maxRoomCapacity 2 Integer) Hotel.kif 457-457
(domainSubclass maxRoomCapacity 1 StationaryArtifact) Hotel.kif 456-456
(instance maxRoomCapacity BinaryPredicate) Hotel.kif 450-450

appearance as argument number 2
-------------------------


(format ChineseLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人") domainEnglishFormat.kif 3839-3839
(format ChineseTraditionalLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人") domainEnglishFormat.kif 3838-3838
(format EnglishLanguage maxRoomCapacity "%1 can accommodate at most %2 people") domainEnglishFormat.kif 3837-3837
(termFormat EnglishLanguage maxRoomCapacity "maximum capacity") Hotel.kif 454-454

antecedent
-------------------------


(=>
    (and
        (maxRoomCapacity ?ROOM ?NUM)
        (instance ?X ?ROOM)
        (element ?X
            (PropertyFn ?AGENT)))
    (modalAttribute
        (exists (?GRP)
            (and
                (instance ?GRP GroupOfPeople)
                (memberCount ?GRP ?PPL)
                (lessThanOrEqualTo ?PPL ?NUM)
                (stays ?GRP ?X))) Possibility))
Hotel.kif 459-470


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners