| 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