Knowledge Graphs

Exercise 6.4 - Taxonomic Reasoning

Considering the statements below, state whether each of the following sentence is true or false.

subclass_of(B,A)subclass_of(C,A)subclass_of(D,B)
subclass_of(E,B)subclass_of(F,C)subclass_of(G,C)
subclass_of(H,C)disjoint(B,C)partition(F,G,H)

a. disjoint(D,E)
b. disjoint(B,G)
c. disjoint(F,G)
d. disjoint(E,C)
e. disjoint(A,F)