# Standard Logic

The Standard Logic is some more specific version of a [conceptlogic](../conceptlogic/conceptlogic.md) where all concepts are instances of [concept classes](concept-class.md). Also the truth value of a triple is decided by the definition of the predicate of the triple.