Douglas Summers-Stay

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....