Representing that all humans are mortal and being able to reason about any given human that they are mortal is the work of a knowledge-base.
Tüm insanın ölümlü olduğunu ve belirli bir insanı ölümlü olduklarını düşünebildiğini söylemek, bir bilgi tabanı çalışmasıdır.