distance |
appearance as argument number 1 |
(documentation distance ChineseLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注:谓词 length 和 distance 之间的分别在于,length 是用来表示一个单一物体其中一个维度的 LengthMeasure,而是用来表示两个不同物体之间的LengthMeasure。") | chinese_format.kif 2655-2657 | |
(documentation distance EnglishLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects.") | Merge.kif 7684-7689 | |
(documentation distance JapaneseLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) とは、2つのオブ ジェクト ?OBJ1と ?OBJ2の間の最短距離が ?QUANであることを意味する。注:述語 length と distance の違いは、length が単一のオブジェクトの次元の1つの LengthMeasure を表すために使用され、 distance は2つの異なるオブジェクトを区切る LengthMeasure を示すために使用される点である。") | japanese_format.kif 1372-1375 | |
(domain distance 1 Physical) | Merge.kif 7680-7680 | 距离 的 1 数量 是 物理 的 instance |
(domain distance 2 Physical) | Merge.kif 7681-7681 | 距离 的 2 数量 是 物理 的 instance |
(domain distance 3 LengthMeasure) | Merge.kif 7682-7682 | 距离 的 3 数量 是 长度测量 的 instance |
(instance distance SingleValuedRelation) | Merge.kif 7676-7676 | 距离 是 单值关系 的 instance |
(instance distance SpatialRelation) | Merge.kif 7677-7677 | 距离 是 空间关系 的 instance |
(instance distance TernaryPredicate) | Merge.kif 7678-7678 | 距离 是 三元谓语 的 instance |
(instance distance TotalValuedRelation) | Merge.kif 7679-7679 | 距离 是 总值关系 的 instance |
appearance as argument number 2 |
(format ChineseLanguage distance "%1 和 %2 的 distance %n 是 %3") | chinese_format.kif 621-621 | |
(format EnglishLanguage distance "the distance between %1 and %2 is %n %3") | english_format.kif 624-624 | |
(format FrenchLanguage distance "la distance entre %1 et %2 est %n %3") | french_format.kif 375-375 | |
(format ItalianLanguage distance "la distanza tra %1 e %2 è %3") | relations-it.txt 78-78 | |
(format JapaneseLanguage distance "%1 と %2 の distance は %3 では %n") | japanese_format.kif 2109-2109 | |
(format PortugueseLanguage distance "a distancia entre %1 e %2 e' %n %3") | portuguese_format.kif 327-327 | |
(format cb distance "ang agwat sa %1 ug %2 ay %3") | relations-cb.txt 112-112 | |
(format de distance "der abstand zwischen %1 und %2 ist %3") | relations-de.txt 815-815 | |
(format hi distance "%1 aura %2 ke biicha kii duurii %3 hai") | relations-hindi.txt 118-118 | |
(format ro distance "distance%t{distanþa} dintre %1 º %2 %n{nu} este %3") | relations-ro.kif 397-397 | |
(format sv distance "avståndet mellan %1 och %2 är %3") | relations-sv.txt 417-417 | |
(format tg distance "ang agwat sa %1 at %2 ay %3") | relations-tg.txt 171-171 | |
(subrelation depth distance) | Merge.kif 7725-7725 | 深度 是 距离 的 subrelation |
(termFormat ChineseLanguage distance "距离") | chinese_format.kif 622-622 | |
(termFormat ChineseTraditionalLanguage distance "距離") | domainEnglishFormat.kif 19937-19937 | |
(termFormat EnglishLanguage distance "distance") | domainEnglishFormat.kif 19936-19936 | |
(termFormat tg distance "agwat") | relations-tg.txt 172-172 |
antecedent |
consequent |