Is Disjoint Subclass of with transitivity property
 Modal
 Logic
 Logical Theory
 Thesaurus
  Has
 Narrower Meaning Than
 Taxonomy
 Is Sub-Classification of
 Conceptual Model
  Is
 Subclass of
 DB
 Schemas, XML Schema
 UML
 First
 Order Logic
 
 ER
 Extended
 ER
 Description
 Logic
 DAML+OIL,
 OWL
 RDF/S
 XTM