(=>
(and
(equal ?L
(LineFn ?P1 ?P2))
(part ?OP1 ?L)
(part ?OP2 ?L)
(not
(equal ?OP1 ?OP2))
(equal ?L2
(LineFn ?OP1 ?OP2)))
(part ?L2 ?L)) |
Mid-level-ontology.kif 28176-28184 |
If equal X, the line between Y, and Z, W is a part of X, V is a part of X, equal W and V, and equal U, the line between W, and V, then U is a part of X |
(=>
(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 |
(=>
(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 |
