Det definierande predikatet är enheten av dess eget predikat med uttrycket av essensen av objektet fixerat av det generiska predikatet . Således är det definierande predikatet ett "komplext" definitionspredikat , representerat i sin fulla uppsättning funktioner av en strukturell komponent (relation av identitet , inkludering och addition ) och en komplex semantisk komponent (generisk (klass) semantik och distinktionssemantik ) .