Skip to content
Permalink
Browse files

updated comments in SMO with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 3a60eba commit 0e638aa35a893a93a2f21ab2790fd01469d8b2b6
Showing with 8 additions and 8 deletions.
  1. +8 −8 ontologies/software_measurement_ontology/smo_measurable_entities_measures.clif
@@ -10,9 +10,9 @@

(cl-text http://code.google.com/p/colore/source/browse/trunk/ontologies/software_measurement_ontology/smo_measurable_entities_measures.clif

(cl-comment "Source: A Well-Founded Software Measurement Ontology by Monalessa Perini Barcellos and Ricardo de Almeida Falbo and Rodrigo Dal Moro")
(cl-comment 'Source: A Well-Founded Software Measurement Ontology by Monalessa Perini Barcellos and Ricardo de Almeida Falbo and Rodrigo Dal Moro')

(cl-comment "A1")
(cl-comment 'A1')
(forall (men t mel)
(if (and (MeasurableEntity men)
(MeasurableEntityType t)
@@ -21,7 +21,7 @@
(characterizes mel t))
(characterizes mel men)))

(cl-comment "A2")
(cl-comment 'A2')
(forall (men ime mel)
(if (and (MeasurableEntity men)
(IndirectlyMeasurableElement ime)
@@ -32,7 +32,7 @@
(characterizes mel t)
(characterizes ime t))))))

(cl-comment "A3")
(cl-comment 'A3')
(forall (ime1 ime2 mel)
(if (and (MeasurableElement mel)
(IndirectlyMeasurableElement ime1)
@@ -41,7 +41,7 @@
(subelement ime1 ime2))
(subelement mel ime1)))

(cl-comment "A4")
(cl-comment 'A4')
(forall (dme m ime)
(if (and
(DerivedMeasure dme)
@@ -53,7 +53,7 @@
(if (MeasurableElement me)
(and (quantifies m me)(subElement me ime))))))

(cl-comment "A5")
(cl-comment 'A5')
(forall (dme m mcf)
(if (and
(DerivedMeasure dme)
@@ -63,7 +63,7 @@
(measureForCalc m mcf))
(derivesFrom dme m)))

(cl-comment "A6")
(cl-comment 'A6')
(forall (dme m mcf)
(if (and
(DerivedMeasure dme)
@@ -73,7 +73,7 @@
(measureForCalc m mcf))
(correlatedMeasure m dme)))

(cl-comment "A7")
(cl-comment 'A7')
(forall (dme mcf)
(if (and
(DerivedMeasure dme)

0 comments on commit 0e638aa

Please sign in to comment.
You can’t perform that action at this time.