RelationType¶ Declares a relation type with inference semantics. Properties¶ Property Type Description name string - symmetric boolean If true, A->B implies B->A. transitive boolean If true, A->B and B->C implies A->C.