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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maxRoomCapacity

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 471-473
(domain maxRoomCapacity 2 Integer) Hotel.kif 477-477
(domainSubclass maxRoomCapacity 1 StationaryArtifact) Hotel.kif 476-476
(instance maxRoomCapacity BinaryPredicate) Hotel.kif 470-470

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


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

Show without tree


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