totalFacilityTypeInArea |
appearance as argument number 1 |
(documentation totalFacilityTypeInArea EnglishLanguage "(totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) means that in the GeographicArea ?AREA there a total of ?COUNT number of facilities of type ?TYPE.") | Transportation.kif 1216-1219 | |
(domain totalFacilityTypeInArea 1 GeographicArea) | Transportation.kif 1213-1213 | O argumento numero 1 de totalFacilityTypeInArea e' uma instancia de Area Geografica |
(domain totalFacilityTypeInArea 2 Class) | Transportation.kif 1214-1214 | O argumento numero 2 de totalFacilityTypeInArea e' uma instancia de Classe |
(domain totalFacilityTypeInArea 3 NonnegativeInteger) | Transportation.kif 1215-1215 | O argumento numero 3 de totalFacilityTypeInArea e' uma instancia de Numero Inteiro nao-negativo |
(instance totalFacilityTypeInArea TernaryPredicate) | Transportation.kif 1212-1212 | totalFacilityTypeInArea e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
(format ChineseLanguage totalFacilityTypeInArea "%1 %n 是 对于 %3 在地区 %2 的 total 设施类别") | domainEnglishFormat.kif 2491-2491 | |
(format ChineseTraditionalLanguage totalFacilityTypeInArea "%1 %n 是 對於 %3 在地區 %2 的 total 設施類別") | domainEnglishFormat.kif 2490-2490 | |
(format EnglishLanguage totalFacilityTypeInArea "%1 is %n total facility type in area %2 for %3") | domainEnglishFormat.kif 2489-2489 | |
(termFormat ChineseLanguage totalFacilityTypeInArea "区域总设施类型") | domainEnglishFormat.kif 58550-58550 | |
(termFormat ChineseTraditionalLanguage totalFacilityTypeInArea "區域總設施類型") | domainEnglishFormat.kif 58549-58549 | |
(termFormat EnglishLanguage totalFacilityTypeInArea "total facility type in area") | domainEnglishFormat.kif 58548-58548 |
antecedent |