User Activity
-
Posted
a comment
on
discussion Help
on
OpenCyc
Of course, it's still awkward that the query (loves ?X TestPerson1234) doesn't find...
-
Posted
a comment
on
discussion Help
on
OpenCyc
Oh, that's what I was missing! I just tested it out, and a query like this works...
-
Modified
a comment
on
discussion Help
on
OpenCyc
When I write a formula involving thereExists, Skolemization appears to happen. For...
-
Posted
a comment
on
discussion Help
on
OpenCyc
When I write a formula involving thereExists, Skolemization appears to happen. For...
Personal Data
- Username:
- djsekora
- Joined:
- 2016-08-24 15:36:35
Projects
- No projects to display.
