Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lengthOfNaturalGasPipeline |
| appearance as argument number 1 |
|
| (instance lengthOfNaturalGasPipeline BinaryPredicate) | Transportation.kif 727-727 | length of natural gas pipeline is an instance of binary predicate |
| (domain lengthOfNaturalGasPipeline 1 GeographicArea) | Transportation.kif 728-728 | The number 1 argument of length of natural gas pipeline is an instance of geographic area |
| (domain lengthOfNaturalGasPipeline 2 LengthMeasure) | Transportation.kif 729-729 | The number 2 argument of length of natural gas pipeline is an instance of length measure |
| (documentation lengthOfNaturalGasPipeline EnglishLanguage "(lengthOfNaturalGasPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of NaturalGasPipeline.") | Transportation.kif 730-733 | The number 2 argument of length of natural gas pipeline is an instance of length measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage lengthOfNaturalGasPipeline "%2 is %n a length of natural gas pipeline of %1") | domainEnglishFormat.kif 1501-1501 | |
| (format ChineseTraditionalLanguage lengthOfNaturalGasPipeline "%2 %n 是 %1 的 天然瓦斯管線的 length ") | domainEnglishFormat.kif 1502-1502 | |
| (format ChineseLanguage lengthOfNaturalGasPipeline "%2 %n 是 %1 的 天然瓦斯管线的 length ") | domainEnglishFormat.kif 1503-1503 | |
| (termFormat EnglishLanguage lengthOfNaturalGasPipeline "length of natural gas pipeline") | domainEnglishFormat.kif 34015-34015 | |
| (termFormat ChineseTraditionalLanguage lengthOfNaturalGasPipeline "天然氣管道長度") | domainEnglishFormat.kif 34016-34016 | |
| (termFormat ChineseLanguage lengthOfNaturalGasPipeline "天然气管道长度") | domainEnglishFormat.kif 34017-34017 |
| antecedent |
|
|
| (<=> (lengthOfNaturalGasPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE NaturalGasPipeline) (located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 735-742 | X is a length of natural gas pipeline of Y if and only if the length of the class described by Z is X |
| (=> (and (lengthOfNaturalGasPipeline ?AREA (MeasureFn ?AMOUNT1 Meter)) (totalPipelineInArea ?AREA (MeasureFn ?AMOUNT2 Meter))) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) |
Transportation.kif 744-748 | If X meter(s) is a length of natural gas pipeline of Y and Z meter(s) is a total pipeline in area of Y, then X is less than or equal to Z |
|