Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| capacityByArrangement |
| appearance as argument number 1 |
|
| (instance capacityByArrangement TernaryPredicate) | Hotel.kif 784-784 | capacity by arrangement is an instance of ternary predicate |
| (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 785-787 | capacity by arrangement is an instance of ternary predicate |
| (domain capacityByArrangement 1 Region) | Hotel.kif 790-790 | The number 1 argument of capacity by arrangement is an instance of region |
| (domain capacityByArrangement 2 Proposition) | Hotel.kif 791-791 | The number 2 argument of capacity by arrangement is an instance of proposition |
| (domain capacityByArrangement 3 Integer) | Hotel.kif 792-792 | The number 3 argument of capacity by arrangement is an instance of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage capacityByArrangement "capacity by arrangement") | Hotel.kif 788-788 | |
| (format EnglishLanguage capacityByArrangement "%1 has capacity for %3 according to %2") | domainEnglishFormat.kif 2952-2952 | |
| (format ChineseTraditionalLanguage capacityByArrangement "%1 有對於 %3 的 capacity 根據 %2 ") | domainEnglishFormat.kif 2953-2953 | |
| (format ChineseLanguage capacityByArrangement "%1 有对于 %3 的 capacity 根据 %2 ") | domainEnglishFormat.kif 2954-2954 |
| 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 794-804 | Assuming X has capacity for Y according to Z, it follows that: if X expresses Z, then the statement there exist W, V such that W is an instance of group of people, V is a member count of W, V is less than or equal to Y, and W is located at X has the modal force of possibility |
|