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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capacityByArrangement

Sigma KEE - capacityByArrangement
capacityByArrangement

appearance as argument number 1
-------------------------


(documentation capacityByArrangement EnglishLanguage "(capacityByArrangement ?AREA ?PROP ?QTY) means that Integer ?QTY is the maximum capacity of Region ?AREA when Proposition ?PROP is followed.") Hotel.kif 781-783
(domain capacityByArrangement 1 Region) Hotel.kif 786-786
(domain capacityByArrangement 2 Proposition) Hotel.kif 787-787
(domain capacityByArrangement 3 Integer) Hotel.kif 788-788
(instance capacityByArrangement TernaryPredicate) Hotel.kif 780-780

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


(format ChineseLanguage capacityByArrangement "%1 有对于 %3 的 capacity 根据 %2 ") domainEnglishFormat.kif 2958-2958
(format ChineseTraditionalLanguage capacityByArrangement "%1 有對於 %3 的 capacity 根據 %2 ") domainEnglishFormat.kif 2957-2957
(format EnglishLanguage capacityByArrangement "%1 has capacity for %3 according to %2") domainEnglishFormat.kif 2956-2956
(termFormat EnglishLanguage capacityByArrangement "capacity by arrangement") Hotel.kif 784-784

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


(=>
    (capacityByArrangement ?AREA ?PROP ?INT)
    (=>
        (represents ?AREA ?PROP)
        (modalAttribute
            (exists (?GRP ?PPL)
                (and
                    (instance ?GRP GroupOfPeople)
                    (memberCount ?GRP ?PPL)
                    (lessThanOrEqualTo ?PPL ?INT)
                    (located ?GRP ?AREA))) Possibility)))
Hotel.kif 790-800


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