Add your own math project to this wiki!
F-Logic (frame logic) is a knowledge representation and ontology language.