In addition it is possible to represent axioms in F-logic in the following manner man(X) <- person(X) AND NOT woman(X).
Аксиомы F-логики можно представлять в следующем виде: man(X) <- person(X) AND NOT woman(X).