Assertion: f logic | /r/HasProperty | a knowledge representation
Facets:
Source sentences:
text: F-logic (frame logic) is a knowledge representation and ontology language.