| appearance as argument number 1 |
|
| (instance subrelation BinaryPredicate) | Merge.kif 163-163 | subrelation is an instance of binary predicate |
| (instance subrelation PartialOrderingRelation) | Merge.kif 164-164 | subrelation is an instance of partial ordering relation |
| (domain subrelation 1 Relation) | Merge.kif 165-165 | The number 1 argument of subrelation is an instance of relation |
| (domain subrelation 2 Relation) | Merge.kif 166-166 | The number 2 argument of subrelation is an instance of relation |
| (documentation subrelation EnglishLanguage "(subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2. In other words, if the Relation ?REL1 holds for some arguments arg_1, arg_2, ... arg_n, then the Relation ?REL2 holds for the same arguments. A consequence of this is that a Relation and its subrelations must have the same valence.") | Merge.kif 167-172 | The number 2 argument of subrelation is an instance of relation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER)) |
Merge.kif 174-178 | If X is a subrelation of Y and X has Z argument(s), then Y has Z argument(s) |
| (=> (and (subrelation ?PRED1 ?PRED2) (domain ?PRED2 ?NUMBER ?CLASS1)) (domain ?PRED1 ?NUMBER ?CLASS1)) |
Merge.kif 180-184 | If X is a subrelation of Y and the number Z argument of Y is an instance of W, then the number Z argument of X is an instance of W |
| (=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW)) |
Merge.kif 186-192 | If X is a subrelation of Y, X is an instance of predicate, Y is an instance of predicate, and X @ROW, then Y @ROW |
| (=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS)) |
Merge.kif 194-199 | If X is a subrelation of Y, Y is an instance of Z, and Z is a subclass of inheritable relation, then X is an instance of Z |
| (=> (and (subrelation ?REL1 ?REL2) (domainSubclass ?REL2 ?NUMBER ?CLASS1)) (domainSubclass ?REL1 ?NUMBER ?CLASS1)) |
Merge.kif 232-236 | If X is a subrelation of Y and the number Z argument of Y is a subclass of W, then the number Z argument of X is a subclass of W |
| (=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1)) |
Merge.kif 312-316 | If X is a subrelation of Y and the range of Y is an instance of Z, then the range of X is an instance of Z |
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 338-342 | If X is a subrelation of Y and the values returned by Y are subclasses of Z, then the values returned by X are subclasses of Z |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 25624-25628 | If X plays role in event Y for Z and Y is a subrelation of W, then X plays role in event W for Z |
| (=> (and (instance ?ATT1 Attribute) (instance ?ATT2 Attribute) (subrelation ?PRED attribute)) (not (and (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED) (?PRED ?ENTITY ?ATT1) (?PRED ?ENTITY ?ATT2)))) |
ComputerInput.kif 43-52 | If X is an instance of attribute, Y is an instance of attribute, and Z is a subrelation of attribute, then At least one of the following holds: (1) ~{ X and Y are mutually exclusive for Z } (2) ~{ Z W and X } (3) ~{ Z W and Y } |
| (<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole)) |
Media.kif 119-121 | X is a subrelation of involved in event if and only if X is an instance of case role |
| consequent |
|
|
| (=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2462-2464 | If X is an instance of case role, then X is a subrelation of involved in event |
| appearance as argument number 0 |
|
|
|
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