totalPipelineInArea |
appearance as argument number 1 |
(documentation totalPipelineInArea EnglishLanguage "(totalPipelineInArea ?AREA ?LENGTH) means that the GeopoliticalArea ?AREA has ?LENGTH of Pipelines.") | Transportation.kif 681-683 | |
(domain totalPipelineInArea 1 GeographicArea) | Transportation.kif 679-679 | Il numero 1 argomenti di totalPipelineInArea è un istanza di AreaGeografica |
(domain totalPipelineInArea 2 LengthMeasure) | Transportation.kif 680-680 | Il numero 2 argomenti di totalPipelineInArea è un istanza di MisuraDiLunghezza |
(instance totalPipelineInArea BinaryPredicate) | Transportation.kif 678-678 | totalPipelineInArea è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage totalPipelineInArea "%2 %n 是 在地区 %1 的 total 管线") | domainEnglishFormat.kif 2519-2519 | |
(format ChineseTraditionalLanguage totalPipelineInArea "%2 %n 是 在地區 %1 的 total 管線") | domainEnglishFormat.kif 2518-2518 | |
(format EnglishLanguage totalPipelineInArea "%2 is %n a total pipeline in area of %1") | domainEnglishFormat.kif 2517-2517 | |
(termFormat ChineseLanguage totalPipelineInArea "区域总管道") | domainEnglishFormat.kif 58606-58606 | |
(termFormat ChineseTraditionalLanguage totalPipelineInArea "區域總管道") | domainEnglishFormat.kif 58605-58605 | |
(termFormat EnglishLanguage totalPipelineInArea "total pipeline in area") | domainEnglishFormat.kif 58604-58604 |
antecedent |