klóz törzse

Rövid szöveges bemutatás: 
A klózoknak két része lehet. Lehet egy feje és egy törzse. Ha a klóz fej része teljesül, akkor az implikálja a klóz törzsét. Vagyis ha a fejben lévő kifejezés igaz, akkor a törzs is érvényessé válik. Például Király(x) -> Gonosz(x). Ha valaki azt mondja, hogy volt egy János nevű király, akkor arról ez alapján egyértelműen tudjuk állítani, hogy János gonosz volt. Tehát a törzs hordozza a lényegi új információt és a fej képezi az őrfeltételt, melynek teljesülése esetén a törzs állítását fel tudjuk venni a tudásbázisba.