Simplified Common Logic A flexible framework for information interchange based on first-order logic.
The Gene Ontology Consortium Jennifer Clark, GO Editorial Office.