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 447-449
(domain maxRoomCapacity 2 Integer) Hotel.kif 453-453
(domainSubclass maxRoomCapacity 1 StationaryArtifact) Hotel.kif 452-452
(instance maxRoomCapacity BinaryPredicate) Hotel.kif 446-446

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


(format ChineseLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人") domainEnglishFormat.kif 3835-3835
(format ChineseTraditionalLanguage maxRoomCapacity "%1 能 accommodate 大部分 %2 的人") domainEnglishFormat.kif 3834-3834
(format EnglishLanguage maxRoomCapacity "%1 can accommodate at most %2 people") domainEnglishFormat.kif 3833-3833
(termFormat EnglishLanguage maxRoomCapacity "maximum capacity") Hotel.kif 450-450

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 455-466


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners