transitwayCapacityCount |
appearance as argument number 1 |
(documentation transitwayCapacityCount EnglishLanguage "(transitwayCapacityCount ?WAY ?TYPE ?NUMBER) means that the Transitway ?WAY can accommodate a maximum of ?NUMBER items of ?TYPE at any one time.") | Transportation.kif 3220-3223 | |
(domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3216-3216 | Il numero 1 argomenti di transitwayCapacityCount è un istanza di Transitway |
(domain transitwayCapacityCount 3 NonnegativeInteger) | Transportation.kif 3218-3218 | Il numero 3 argomenti di transitwayCapacityCount è un istanza di NumeroInteroNonNegativo |
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) | Transportation.kif 3217-3217 | Il numero 2 argomento transitwayCapacityCount è una sottoclasse diOggettoIntegro |
(instance transitwayCapacityCount TernaryPredicate) | Transportation.kif 3215-3215 | transitwayCapacityCount è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage transitwayCapacityCount "%1 %n 是 对于 %3 的 transitway 容量计数 %2 ") | domainEnglishFormat.kif 2543-2543 | |
(format ChineseTraditionalLanguage transitwayCapacityCount "%1 %n 是 對於 %3 的 transitway 容量計數 %2 ") | domainEnglishFormat.kif 2542-2542 | |
(format EnglishLanguage transitwayCapacityCount "%1 is %n transitway capacity count %2 for %3") | domainEnglishFormat.kif 2541-2541 | |
(termFormat ChineseLanguage transitwayCapacityCount "过境通行能力计数") | domainEnglishFormat.kif 58912-58912 | |
(termFormat ChineseTraditionalLanguage transitwayCapacityCount "過境通行能力計數") | domainEnglishFormat.kif 58911-58911 | |
(termFormat EnglishLanguage transitwayCapacityCount "transitway capacity count") | domainEnglishFormat.kif 58910-58910 |