LineFn |
appearance as argument number 1 |
(documentation LineFn ChineseLanguage "Function 传回两个类似点物件之间的线。") | ComputingBrands.kif 2620-2620 | |
(documentation LineFn ChineseTraditionalLanguage "Function 傳回兩個類似點物件之間的線。") | ComputingBrands.kif 2619-2619 | |
(documentation LineFn EnglishLanguage "A Function that returns a line drawn between two point-like objects.") | ComputingBrands.kif 2617-2618 | |
(documentation LineFn JapaneseLanguage "2つの点状のオブジェクト間で描かれたラインを返す &%Function。") | ComputingBrands.kif 2621-2622 | |
(domain LineFn 1 Object) | ComputingBrands.kif 2624-2624 | |
(domain LineFn 2 Object) | ComputingBrands.kif 2625-2625 | |
(instance LineFn BinaryFunction) | ComputingBrands.kif 2616-2616 | |
(range LineFn Object) | ComputingBrands.kif 2626-2626 |
appearance as argument number 2 |
(format ChineseLanguage LineFn "%1 和 %2 之间线路") | ComputingBrands.kif 2633-2633 | |
(format ChineseTraditionalLanguage LineFn "%1 和 %2 之間線路") | ComputingBrands.kif 2632-2632 | |
(format EnglishLanguage LineFn "the line between %1 and %2") | ComputingBrands.kif 2631-2631 | |
(format JapaneseLanguage LineFn "%1 と %2 間のライン") | ComputingBrands.kif 2634-2634 | |
(termFormat ChineseLanguage LineFn "线路") | ComputingBrands.kif 2629-2629 | |
(termFormat ChineseTraditionalLanguage LineFn "線路") | ComputingBrands.kif 2628-2628 | |
(termFormat EnglishLanguage LineFn "line") | ComputingBrands.kif 2627-2627 | |
(termFormat JapaneseLanguage LineFn "ライン") | ComputingBrands.kif 2630-2630 |
antecedent |
(=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside)) |
ComputingBrands.kif 2693-2704 | |
(=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside)) |
ComputingBrands.kif 2665-2676 | |
(=> (and (equal ?L (LineFn ?P1 ?P2)) (part ?OP1 ?L) (part ?OP2 ?L) (not (equal ?OP1 ?OP2)) (equal ?L2 (LineFn ?OP1 ?OP2))) (part ?L2 ?L)) |
ComputingBrands.kif 2636-2644 |