Vivification: Description Logic, Semantic Reasoner, Logical Disjunction

Semantic Reasoner: Inference Engine, Logical Consequence, First Order Predicate Logic

Logical NOR: Boolean Logic, Disjunction, Grammar

Semantic Parameterization: Description Logic, Temporal Synonyms, Polysemes

Logical Equivalence: Logic, Syntax (logic), Proof Semantic, Material equivalence, Metalanguage, Truth value, Model