facts:
Rex is a dog.
All dogs are mammals.

query: Is Rex a mammal?

expected: True

note: member then subset (member o subset)


facts:
Rex is a dog.
All dogs are mammals.
All mammals are animals.

query: Is Rex an animal?

expected: True

note: member o subset o subset


query: Are all dogs mammals?

expected: True

note: direct subset


facts:
All dogs are mammals.
All mammals are animals.

query: Are all dogs animals?

expected: True

note: subset o subset


query: Is truth a concept?

expected: True

note: direct member


query: Is Alice the parent of Bob?

expected: True

note: relational direct


query: Is Alice the parent of Bob?

expected: True

note: relational inverse one-hop (#775)


query: Is Bob the sibling of Alice?

expected: True

note: relational symmetric one-hop (#775)


query: Is Alice greater than Bob?

expected: True

note: relational inverse order one-hop (#775)


query: Are all mammals dogs?

expected: Unknown

note: reverse subset is not entailed


facts:
Rex is a dog.
All cats are mammals.

query: Is Rex a mammal?

expected: Unknown

note: no chain: dog has no superclass given


query: Is Alice the parent of Bob?

expected: Unknown

note: cross-predicate: sibling does not imply parent


query: Is Bob less than Alice?

expected: Unknown

note: asymmetric: a<b does not give b<a


query: Is Alice the sibling of Bob?

expected: Unknown

note: ungrounded: no told fact


query: Is Spot a dog?

expected: Unknown

note: unrelated subject: Spot ungrounded


facts:
Socrates is a man.
Man is a species.

query: Is Socrates a species?

expected: Unknown

note: member o member fallacy: instance-of is not transitive


facts:
Felix is a cat.
All cats are mammals.
No mammal is a reptile.

query: Is Felix a reptile?

expected: False

note: negation entailed via subset + disjointness


facts:
Tweety is a bird.
No bird is a mammal.

query: Is Tweety a mammal?

expected: False

note: negation entailed: direct disjoint membership


facts:
All sparrows are birds.
No bird is a mammal.

query: Are all sparrows mammals?

expected: False

note: negation entailed: subset into a disjoint class