?A ?B ?C Class: ?B SubClassOf: ?A Class: ?C SubClassOf: ?A Class: ?B DisjointWith: ?C head_noun(?A)head_noun(?B) head_noun(?A)head_noun(?C) ?D ?a ?b Individual: ?a Types: ?D Individual: ?b Types: ?D Individual: ?a DifferentFrom: ?b ?B+Value ?C+Value