When I try the following query using shallow inference, it gets no results: (and...
I think this works. (and (?X Dog CanineAnimal) (isa ?X Predicate) (arg1Isa ?X Collection)...
When I try the following query: (and (?X #$Dog #$CanineAnimal) (isa ?X BinaryPredicate)...
When I try the following query: (and (?X #$Dog #$CanineAnimal) (isa ?X BinaryPredicate)...
I am trying to understand how physical properties work in Cyc. I would think that...
I thought maybe someone would be interested to know you can use a similar method...
First you would create a microtheory encapsulating the world of Fred and the bear...
Cool. I don't know any way I could have discovered that without asking for help....