Có những trường hợp đặc biệt như những con voi chỉ có ba chân, Điều đó có nghĩa ở đây frame con voi yêu cầu con voi bốn chân. Như vậy chúng ta đang nói về frame con voi chứ không phải một định nghĩa con voi. Dĩ nhiên, frame có thể được thay đổi để cho phép tạo ra con voi có 3, 2 hay không có chân nào. Nhưng đó không phải là định nghĩa tốt. Nếu có những con voi ba chân khác màu vàng, thì liệu đó có còn là con voi? Thay vì xem frame như một định nghĩa, ta xem frame mô tả con voi điển hình. Tuy nhiên điều này lại dẫn đến một vấn đề khác do sự thừa kế. Nếu ta diễn giải frame là một điển hình, rồi hệ thống frame lại cho rằng điển hình con voi là một động vật có vú điển hình. Mặc dù con voi là động vật có vú, nó không thể là động vật có vú điển hình.
Phần lớn các frame không tại ra cách nào để định nghĩa các slot không thể thay đổi được. Từ chỗ các slot có thể bị thay đổi, các đặc tính mà frame thừa kế có thể bị thay đổi hoặc huỷ bỏ. Điều này nghĩa là tất cả các frame thực ra là frame nguyên thuỷ bởi vì không có gì bảo đảm là các đặc tính là chung nhất. Mỗi frame được tạo thành từ các quy tắc của riêng nó và như vậy mỗi frame là nguyên thuỷ. Không có điều gì là chắc chắn trong một hệ thống khá lỏng lẻo như vậy và do đó nó không có khả năng tạo ra những mệnh đề như việc định nghĩa con voi.
1.2.3.5 Logic
Dạng biểu diễn tri thức cổ điển nhất trong máy tính là logic, với hai dạng phổ biến là logic mệnh đề và logic vị từ. Cả hai kỹ thuật này đều dùng kí hiệu để thể hiện tri thức và các toán tử áp lên các kí hiệu để suy luận logic.
Phép toán AND OR NOT Kéo theo Tương
đương
Kí hiệu , &, v, , + ,