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 7594-7599 | |
(domain distance 1 Physical) | Merge.kif 7590-7590 | The number 1 argument of distance is an instance of physical |
(domain distance 2 Physical) | Merge.kif 7591-7591 | The number 2 argument of distance is an instance of physical |
(domain distance 3 LengthMeasure) | Merge.kif 7592-7592 | The number 3 argument of distance is an instance of length measure |
(instance distance SingleValuedRelation) | Merge.kif 7586-7586 | distance is an instance of single valued relation |
(instance distance SpatialRelation) | Merge.kif 7587-7587 | distance is an instance of spatial relation |
(instance distance TernaryPredicate) | Merge.kif 7588-7588 | distance is an instance of ternary predicate |
(instance distance TotalValuedRelation) | Merge.kif 7589-7589 | 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 624-624 | |
(subrelation depth distance) | Merge.kif 7635-7635 | depth is a subrelation of distance |
(termFormat ChineseLanguage distance "距离") | chinese_format.kif 622-622 | |
(termFormat ChineseTraditionalLanguage distance "距離") | domainEnglishFormat.kif 19928-19928 | |
(termFormat EnglishLanguage distance "distance") | domainEnglishFormat.kif 19927-19927 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |