﻿/* Logic */
.Article{}
.ItmContentH1{}
.ItmContentH2{}
.ItmContentH3{}
.ItmContentH4{}
.ItmContentH5{}
.ItmContentH6{}

.Objective{}

.Section{}

.Biography{}

/* ------- */ 
.Overview{}
/* ------- */
.Summary{}
/* ------- */
.Exercises{}
/* ------- */
.FootNotes{}
/* ------- */
.Vocabulary{}
/* ------- */
.ItmCatDefArea{}
/* ------- */
.ItmExplantion{}
/* ------- */
.ItmQouteArea{}
/* ------- */
.ItmAnnotation{}
/* ------- */
.ItmExample{}
/* ------- */
.ItmCatInstanc{}
/* ------- */
.ItmTheorm{}
/* ------- */
.ItmKTheorm{}
/* ------- */
.ItmMetaTheorm{}
/* ------- */
.ItmCorollary{}
/* ------- */
.ItmLemma{}
/* ------- */
.ItmRemark{}
/* ------- */
.ItmNote{}


/* ------- */
.ItmProving{}
/* ------- */
.ItmProof{}
.ItmProving{}
/* ------- */
.ItmDefinition{}


/* ----------------------------------- */

.IsAbout{}
.IsBase{}
.IsA{} .-IsA{}

.Subsume{}
.IsNotA{}
.SomeIs{}.-SomeIs{}
.SomeIsNot{}.-SomeIsNot{}
/* ----------------------------------- */
.IsPropertyOf{}
/* ----------------------------------- */
.AllHas{}
.AllHas1{}
.AllHas1toN{}
.AllHas2toN{}
.AllHas0toN{} .-AllHas0toN{}
.AllHasNot{}
.SomeHas{}
.SomeHasNot{}
/* ----------------------------------- */
.IsPartOf{}
/* ----------------------------------- */
.Carry{} .-Carry{}
}
/* ----------------------------------- */
.IsSynonymOf{}
/* --------------------------------------------- */
.IsInstanceOf{}
.NotInstanceOf{}
/* --------------------------------------------- */
.ItmIndex{}
.ItmId{}.ItmIdRef{}
.thisId{}
.ItmFaName{}
.ItmEnName{}
.ItmEexternalLink{}
.ItmEexternalId{}
.ItmFaText{}
.ItmEnText{}
.ItmsPredicates{}
.ItmFootNote{}


.IsClass{}.IsSet{}.IsSetOf{}.IsRelation{}.IsMapping{}.IsFunction{}
.IsParameter{}.IsEvent{}

.IsAClass{}.IsASet{}.IsARelation{}.IsAMapping{}.IsAFunction{}
.IsAFunction1v{}.IsAFunction2v{}.IsAParameter{}