distanceOnPath |
appearance as argument number 1 |
(documentation distanceOnPath EnglishLanguage "(distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the distance of the route is the measurement ?DIST.") | Mid-level-ontology.kif 24359-24361 | |
(domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 24362-24362 | O argumento numero 1 de distanceOnPath e' uma instancia de Quantidade Constante |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24363-24363 | O argumento numero 2 de distanceOnPath e' uma instancia de Transitway |
(instance distanceOnPath BinaryPredicate) | Mid-level-ontology.kif 24358-24358 | distanceOnPath e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3278-3278 | |
(format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3277-3277 | |
(format EnglishLanguage distanceOnPath "the distance of %2 is %1") | domainEnglishFormat.kif 3276-3276 | |
(termFormat EnglishLanguage distanceOnPath "distance on path") | domainEnglishFormat.kif 65814-65814 |
antecedent |