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 24416-24418 | |
(domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 24419-24419 | distanceOnPath の数値 1 引数は 一定量 の instance では %n |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24420-24420 | distanceOnPath の数値 2 引数は Transitway の instance では %n |
(instance distanceOnPath BinaryPredicate) | Mid-level-ontology.kif 24415-24415 | distanceOnPath は 2進述語 の instance では %n |
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 65816-65816 |
antecedent |