يکنوايي:

استفاده قوانين استنتاج به منظور يافتن نتيجه از يک پايگاه دانش، به طور صريح مبتني بر خواص عمومي منطقهاي قطعي (شامل گزاره‌اي و منطق مرتبه اول) است که يکنوايي ناميده مي‌شود.

مي‌توانيم خواص يکنوايي منطق را به طور زير شرح دهيم ...

‌فهرست