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


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