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 7162-7167 | |
(domain distance 1 Physical) | Merge.kif 7158-7158 | The number 1 argument of distance is an instance of physical |
(domain distance 2 Physical) | Merge.kif 7159-7159 | The number 2 argument of distance is an instance of physical |
(domain distance 3 LengthMeasure) | Merge.kif 7160-7160 | The number 3 argument of distance is an instance of length measure |
(instance distance SingleValuedRelation) | Merge.kif 7154-7154 | distance is an instance of single valued relation |
(instance distance SpatialRelation) | Merge.kif 7155-7155 | distance is an instance of spatial relation |
(instance distance TernaryPredicate) | Merge.kif 7156-7156 | distance is an instance of ternary predicate |
(instance distance TotalValuedRelation) | Merge.kif 7157-7157 | distance is an instance of total valued relation |
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 627-627 | |
(subrelation depth distance) | Merge.kif 7202-7202 | depth is a subrelation of distance |
(termFormat ChineseLanguage distance "距离") | chinese_format.kif 622-622 | "距离" is the printable form of distance in ChineseLanguage |
(termFormat ChineseTraditionalLanguage distance "距離") | domainEnglishFormat.kif 19866-19866 | "距離" is the printable form of distance in ChineseTraditionalLanguage |
(termFormat EnglishLanguage distance "distance") | domainEnglishFormat.kif 19865-19865 | "distance" is the printable form of distance in english language |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |