Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Concave(concave) |
| appearance as argument number 1 |
|
| (instance Concave ShapeAttribute) | Mid-level-ontology.kif 34824-34824 | Concave is an instance of shape attribute |
| (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.") | Mid-level-ontology.kif 34825-34827 | Concave is an instance of shape attribute |
| (documentation Concave ChineseTraditionalLanguage "ShapeAttribute 近似個數學概念, 一條畫在物件表面上的任何兩點之間的線苗素該物件之内廓。") | Mid-level-ontology.kif 34828-34829 | Concave is an instance of shape attribute |
| (documentation Concave ChineseLanguage "ShapeAttribute 近似个数学概念， 一条画在物件表面上的任何两点之间的线苗素该物件之内廓。") | Mid-level-ontology.kif 34830-34831 | Concave is an instance of shape attribute |
| (documentation Concave JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブジェ クトの外部にある、と数学的理想値と概算するShapeAttribute。") | Mid-level-ontology.kif 34832-34833 | Concave is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| 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)) |
Mid-level-ontology.kif 34839-34850 | If All of the following hold: (1) concave 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 outside of to X |
| consequent |
|
|
| (=> (attribute ?M FemaleConnector) (shape ?M Concave)) |
ComputingBrands.kif 2722-2724 | If female is an attribute of X, then X is concave |
| (=> (instance ?AREOLE PlantAreole) (attribute ?AREOLE Concave)) |
Geography.kif 7920-7922 | If X is an instance of plant areole, then concave is an attribute of X |
|