In addition to the above constructs, ICOM allows intra- as well as inter-schema axioms to be expressed. There are four types of axioms: node definition, equivalence, disjoint and subsumption.