Assertion: order logic | /r/HasProperty | fol
Facets:
Source sentences:
text: Ron Brachman has described first-order logic (FOL) as the metric by which all AI knowledge representation formalisms should be evaluated.
text: This criterion yields appropriate results when applied to the language of first-order logic (FOL) and other standard logical languages.