sentences:  logical conclusions deriving from existing sentences. axioms, which are not derived from other sentences.
sentences:  logical conclusions deriving from existing sentences. axioms, which are not derived from other sentences.
predicate logic: - on  - in - near - prolog  graph based:  - semantic networks - frames  rule based:  - expert systems