| appearance as argument number 1 |
|
| (documentation Convex ChineseLanguage "ShapeAttribute 近似个数学概念, 一条画在物件表面上的任何两点之间的线苗素该物件之外廓。") | ComputingBrands.kif 2654-2655 | |
| (documentation Convex ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之外廓。") | ComputingBrands.kif 2651-2652 | |
| (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 2647-2649 | |
| (documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブ ジェクトの外部にある、と数学的理想値と概算するShapeAttribute。") | ComputingBrands.kif 2657-2658 | |
| (instance Convex ShapeAttribute) | ComputingBrands.kif 2646-2646 | Convex is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Convex "凸") | ComputingBrands.kif 2662-2662 | |
| (termFormat ChineseTraditionalLanguage Convex "凸") | ComputingBrands.kif 2661-2661 | |
| (termFormat EnglishLanguage Convex "convex") | ComputingBrands.kif 2660-2660 | |
| (termFormat JapaneseLanguage Convex "凸") | ComputingBrands.kif 2663-2663 |
| 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 2665-2676 |
|
| consequent |
|
|
| (=> (attribute ?M MaleConnector) (shape ?M Convex)) |
ComputingBrands.kif 2782-2784 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners