(=>
(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 311-315 |
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 337-341 |
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 25564-25568 |
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 |
