linearExtent |
appearance as argument number 1 |
(documentation linearExtent ChineseLanguage "这是一个 BinaryPredicate,它是用于表示量度 一个 Object 表面上从一点到另一点间的距离。注:谓词 length 和 distance 之间的分别在于,length 是用来表示一个单一物体其中一个维度的 LengthMeasure,而是用来表示两个不同物体之间的LengthMeasure。") | chinese_format.kif 2637-2639 | |
(documentation linearExtent EnglishLanguage "BinaryPredicate that is used to state the measure of an Object from one point to another point along its surface. 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 7534-7539 | |
(documentation linearExtent JapaneseLanguage "BinaryPredicate は、表面に沿ってある点から別 の点までの0のメジャーを表すために使用される。注:述語 length と distance の違いは、length が単一のオブジェクトのディメンションの1つの LengthMeasure を表すのに使用され、distance が 使用される点である。") | japanese_format.kif 1352-1355 | |
(domain linearExtent 2 LengthMeasure) | Merge.kif 7532-7532 | Le nombre 2 argument de linearExtent est une instance de mesure de longueur |
(instance linearExtent BinaryPredicate) | Merge.kif 7531-7531 | linearExtent est une instance de pr�dicat binaire |
(subrelation linearExtent measure) | Merge.kif 7530-7530 | linearExtent est une sous-relation de measure |
appearance as argument number 2 |
(format ChineseLanguage linearExtent "%1 的 linear extent 是 %2 ") | domainEnglishFormat.kif 3762-3762 | |
(format ChineseTraditionalLanguage linearExtent "%1 的 linear extent 是 %2 ") | domainEnglishFormat.kif 3761-3761 | |
(format EnglishLanguage linearExtent "the linear extent of %1 is %2") | domainEnglishFormat.kif 3760-3760 | |
(subrelation height linearExtent) | Merge.kif 7548-7548 | height est une sous-relation de linearExtent |
(subrelation length linearExtent) | Merge.kif 7557-7557 | length est une sous-relation de linearExtent |
(subrelation width linearExtent) | Merge.kif 7543-7543 | width est une sous-relation de linearExtent |
(termFormat EnglishLanguage linearExtent "linear extent") | domainEnglishFormat.kif 65866-65866 |
antecedent |
consequent |
(=> (length ?O (MeasureFn ?M ?U)) (not (exists (?M2) (and (linearExtent ?O (MeasureFn ?M2 ?U)) (greaterThan ?M2 ?M))))) |
Merge.kif 7563-7571 |
|