Classes and individuals may be defined in F-logic as follows man::person. woman::person. brad:man. angelina:woman.
Классы и индивиды могут быть определены в F-логике следующим образом: man::person. woman::person. brad: man. angelina: woman.