Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Convex
|
|
|
| appearance as argument number 1 |
|
|
| (instance Convex ShapeAttribute) | Mid-level-ontology.kif 34792-34792 | Convex is an instance of shape attribute |
| (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.") | Mid-level-ontology.kif 34793-34795 | Convex is an instance of shape attribute |
| (documentation Convex ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之外廓。") | Mid-level-ontology.kif 34797-34798 | Convex is an instance of shape attribute |
| (documentation Convex ChineseLanguage "ShapeAttribute 近似个数学概念, 一条画在物件表面上的任何两点之间的线苗素该物件之外廓。") | Mid-level-ontology.kif 34800-34801 | Convex is an instance of shape attribute |
| (documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブ ジェクトの外部にある、と数学的理想値と概算するShapeAttribute。") | Mid-level-ontology.kif 34803-34804 | Convex is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| 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)) |
Mid-level-ontology.kif 34811-34822 | If All of the following hold: (1) convex is an attribute of X (2) X is a surface of Y (3) Z is a part of Y (4) W is a part of Y (5) equal V, the line between Z, and W (6) equal Z and W (7) U is a part of V, then U is inside the to X |
| consequent |
|
|
| (=> (attribute ?M MaleConnector) (shape ?M Convex)) |
ComputingBrands.kif 2693-2695 | If 公 is an attribute of X, then X is convex |
|