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 The number 2 argument of maximum capacity is an instance of integer
(domainSubclass maxRoomCapacity 1 StationaryArtifact) Hotel.kif 476-476 The number 1 argument of maximum capacity is a subclass of stationary artifact
(instance maxRoomCapacity BinaryPredicate) Hotel.kif 470-470 maximum capacity is an instance of binary predicate

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