| appearance as argument number 1 |
|
| (documentation Concave ChineseLanguage "ShapeAttribute 近似个数学概念， 一条画在物件表面上的任何两点之间的线苗素该物件之内廓。") | ComputingBrands.kif 2652-2653 | |
| (documentation Concave ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之内廓。") | ComputingBrands.kif 2650-2651 | |
| (documentation Concave EnglishLanguage "A ShapeAttribute that approximates the mathematical ideal that a line drawn from any two points on the surface of the object will be exterior to the object.") | ComputingBrands.kif 2647-2649 | |
| (documentation Concave JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブジェ クトの外部にある、と数学的理想値と概算するShapeAttribute。") | ComputingBrands.kif 2654-2655 | |
| (instance Concave ShapeAttribute) | ComputingBrands.kif 2646-2646 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Concave "凹") | ComputingBrands.kif 2658-2658 | |
| (termFormat ChineseTraditionalLanguage Concave "凹") | ComputingBrands.kif 2657-2657 | |
| (termFormat EnglishLanguage Concave "concave") | ComputingBrands.kif 2656-2656 | |
| (termFormat JapaneseLanguage Concave "凹") | ComputingBrands.kif 2659-2659 |
| 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 2661-2672 |
| consequent |
|
|
| (=> (attribute ?M FemaleConnector) (shape ?M Concave)) |
ComputingBrands.kif 2779-2781 | |
| (=> (instance ?AREOLE PlantAreole) (attribute ?AREOLE Concave)) |
Mid-level-ontology.kif 9201-9203 |
|
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