|
|
  Convex
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Convex ChineseLanguage "ShapeAttribute 近似个数学概念, 一条画在物件表面上的任何两点之间的线苗素该物件之外廓。") | ComputingBrands.kif 2622-2623 | |
| (documentation Convex ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之外廓。") | ComputingBrands.kif 2619-2620 | |
| (documentation Convex EnglishLanguage "A ShapeAttribute that approximates the mathematical ideal that a line drawn from any two points on the surface of the object will be interior to the object.") | ComputingBrands.kif 2615-2617 | |
| (documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブ ジェクトの外部にある、と数学的理想値と概算するShapeAttribute。") | ComputingBrands.kif 2625-2626 | |
| (instance Convex ShapeAttribute) | ComputingBrands.kif 2614-2614 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Convex "凸") | ComputingBrands.kif 2630-2630 | |
| (termFormat ChineseTraditionalLanguage Convex "凸") | ComputingBrands.kif 2629-2629 | |
| (termFormat EnglishLanguage Convex "convex") | ComputingBrands.kif 2628-2628 | |
| (termFormat JapaneseLanguage Convex "凸") | ComputingBrands.kif 2631-2631 |
| antecedent |
|
|
| (=> (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 2633-2644 |
| consequent |
|
|
| (=> (attribute ?M MaleConnector) (shape ?M Convex)) |
ComputingBrands.kif 2750-2752 |
|
|
|