TreeView Knowledge Base Browser - 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	Die Zahl 1 Argument von capacityByArrangement ist ein fall von Region %n{nicht}
(domain capacityByArrangement 2 Proposition)	Hotel.kif 787-787	Die Zahl 2 Argument von capacityByArrangement ist ein fall von Proposition %n{nicht}
(domain capacityByArrangement 3 Integer)	Hotel.kif 788-788	Die Zahl 3 Argument von capacityByArrangement ist ein fall von Integer %n{nicht}
(instance capacityByArrangement TernaryPredicate)	Hotel.kif 780-780	capacityByArrangement ist ein fall von TernaryPredicate %n{nicht}

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

Wenn capacityByArrangement Region, Proposition and Integer,
dann
- wenn ** Region drueckt ** Proposition aus,
- dann die Aussage es gibt entity und ** entity um ** entity ist ein fall von GroupOfPeople %n{nicht} und memberCount ** entity and ** ** entity und ** ** entity ist kleinerAlsOderGleich ** Integer %n{nicht} und ** entity befindet sich an %n{nicht} hat die modale Kraft von Possibility

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

KB Term:			Term intersection

English Word: