We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Added link to SUMO to TPTP conversion page
FIxed broken link
Added link to SUO-KIF Examples for the beginner
Updated Home (markdown)
Initial Home page