doctorphil

Do you also call /lib 'libe'? Or are you okay with 'lib' as it's not conflicting with other meanings?

For me it would be helpful with some more examples of how to formulate the query and how the reasoning would look. Could someone share some examples of "common knowledge" that they think are cool?

Here are some common knowledge in English that I would love to see the system answer.

- Is a dog owner likely to own a rope-like object? (Yes, they likely own a leash.)

- Does the average North American own more than 1 shoestring? (Yes, most people have at least 2 shoes, and most shoes have shoestrings.)

- Is it safer to fly or to travel by car?

There are no known materials that act as a one way mirror. We don't expect to find any such material. With a one way mirror it would be easy to lower global entropy.