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 | O argumento numero 1 de capacityByArrangement e' uma instancia de Regiao |
(domain capacityByArrangement 2 Proposition) | Hotel.kif 787-787 | O argumento numero 2 de capacityByArrangement e' uma instancia de Proposicao |
(domain capacityByArrangement 3 Integer) | Hotel.kif 788-788 | O argumento numero 3 de capacityByArrangement e' uma instancia de Numero Inteiro |
(instance capacityByArrangement TernaryPredicate) | Hotel.kif 780-780 | capacityByArrangement e' uma instancia de Predicado Ternario |
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 |
|