edition fn (EditionFn)

A BinaryFunction that maps a type of text (e.g. Agatha Christie's Murder_on_the_Orient_Express) and a number to the edition of the text type corresponding to the number.

Ontology

SUMO / OBJECTS

Class(es)

varga

inheritable relation

dvi-aadhaary prakaarya

edition fn

Coordinate term(s)

addition fn day fn density fn division fn exponentiation fn graph path fn hour fn intersection fn interval fn kappa fn list concatenate fn list order fn log fn max fn maximal weighted path fn measure fn mereological difference fn mereological product fn mereological sum fn min fn minimal weighted path fn minute fn month fn multiplication fn periodical issue fn recurrent time interval fn relative complement fn relative time fn remainder fn second fn series volume fn speed fn subtraction fn temporal composition fn time interval fn union fn where fn

Type restrictions

subclass tatva-vaahaka padaartha EditionFn(subclass tatva-vaahaka padaartha, dhanaatmaka pUrNaanka)

Related WordNet synsets

edition: the form in which a text (especially a printed book) is published
edition: all of the identical copies of something offered to the public at the same time; "the first edition appeared in 1920" or "it was too late for the morning edition" or "they issued a limited edition of Bach recordings"

See more related synsets on a separate page.

Axioms (2)

Agar "edition int1 of text" is equal to edition1 aur "edition int2 of text" is equal to edition2 aur int2 is greater than int1 aur pub1 is an instance of prakaashana aur pub2 is an instance of prakaashana aur edition1 is a patient of pub1 aur edition2 is a patient of pub2 aur date of pub1 is date1 aur date of pub2 is date2, to "the end of date1" happen?{s} before "the end of date2".

(=>
      (and
            (equal
                  (EditionFn ?TEXT ?INT1)
                  ?EDITION1)
            (equal
                  (EditionFn ?TEXT ?INT2)
                  ?EDITION2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?EDITION1)
            (patient ?PUB2 ?EDITION2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))

Agar "edition number of text1" is equal to text2, to text1 subsumes the content of text2.

(=>
      (equal
            (EditionFn ?TEXT1 ?NUMBER)
            ?TEXT2)
      (subsumesContentClass ?TEXT1 ?TEXT2))