Knowledge is a proposition which contain fact and
definitive, while representation is a relation between 2
domains, the symbol and what the symbol represented.
Knowledge Representation is a field of study that explore
about symbol formalism that was used to represent knowledge
[1][2]. Every knowledge representation needs a specific
language to give an optimize way in representing symbol. The
symbol itself is needed to represent the knowledge in a way
that can be easily understood by a simple machine, i.e. a
program. Language will provide an effective way to represent
knowledge using 3 aspects [1], which are: