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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 754-756
(domain capacityByArrangement 1 Region) Hotel.kif 759-759 domain capacityByArrangement, 1 and Region
(domain capacityByArrangement 2 Proposition) Hotel.kif 760-760 domain capacityByArrangement, 2 and Proposition
(domain capacityByArrangement 3 Integer) Hotel.kif 761-761 domain capacityByArrangement, 3 and Integer
(instance capacityByArrangement TernaryPredicate) Hotel.kif 753-753 instance capacityByArrangement and TernaryPredicate

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


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

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


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


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