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 3039-3042 | |
(domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3035-3035 | transitwayCapacityCount の数値 1 引数は Transitway の instance では %n |
(domain transitwayCapacityCount 3 NonnegativeInteger) | Transportation.kif 3037-3037 | transitwayCapacityCount の数値 3 引数は 非負整数 の instance では %n |
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) | Transportation.kif 3036-3036 | transitwayCapacityCount の数値 2 引数は 自己接続オブジェクト のsubclass では %n |
(instance transitwayCapacityCount TernaryPredicate) | Transportation.kif 3034-3034 | transitwayCapacityCount は 3進述語 の instance では %n |
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 58910-58910 | |
(termFormat ChineseTraditionalLanguage transitwayCapacityCount "過境通行能力計數") | domainEnglishFormat.kif 58909-58909 | |
(termFormat EnglishLanguage transitwayCapacityCount "transitway capacity count") | domainEnglishFormat.kif 58908-58908 |