| appearance as argument number 1 |
|
| (instance EditionFn BinaryFunction) | Merge.kif 15678-15678 | Edition is an instance of binary function |
| (instance EditionFn PartialValuedRelation) | Merge.kif 15679-15679 | Edition is an instance of partial valued relation |
| (domainSubclass EditionFn 1 ContentBearingObject) | Merge.kif 15680-15680 | The number 1 argument of edition is a subclass of content bearing object |
| (domain EditionFn 2 PositiveInteger) | Merge.kif 15681-15681 | The number 2 argument of edition is an instance of positive integer |
| (rangeSubclass EditionFn ContentBearingObject) | Merge.kif 15682-15682 | The values returned by edition are subclasses of content bearing object |
| (documentation EditionFn EnglishLanguage "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.") | Merge.kif 15683-15685 | The values returned by edition are subclasses of content bearing object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (equal (EditionFn ?TEXT ?INT1) ?EDITION1) (equal (EditionFn ?TEXT ?INT2) ?EDITION2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?EDITION1) (instance ?CBO2 ?EDITION2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2))) |
Merge.kif 15687-15704 | If All of the following hold: (1) equal edition X of Y and Z (2) equal edition W of Y and V (3) W is greater than X (4) U is an instance of publication (5) T is an instance of publication (6) S is an instance of Z (7) R is an instance of V (8) S is a patient of U (9) R is a patient of T (10) date of U is Q (11) date of T is P, then the end of Q happens before the end of P |
| (=> (equal (EditionFn ?TEXT1 ?NUMBER) ?TEXT2) (subsumesContentClass ?TEXT1 ?TEXT2)) |
Merge.kif 15706-15708 | If equal edition X of Y and Z, then Y subsumes the content of Z |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners