physicalEnd |
appearance as argument number 1 |
![]() |
(documentation physicalEnd EnglishLanguage "A notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute.") | Merge.kif 18119-18120 | |
(domain physicalEnd 1 Object) | Merge.kif 18121-18121 | The number 1 argument of physical end is an instance of object |
(domain physicalEnd 2 Object) | Merge.kif 18122-18122 | The number 2 argument of physical end is an instance of object |
(instance physicalEnd BinaryPredicate) | Merge.kif 18116-18116 | physical end is an instance of binary predicate |
(subrelation physicalEnd part) | Merge.kif 18127-18127 | physical end is a subrelation of part |
(subrelation physicalEnd properPart) | Merge.kif 18117-18117 | physical end is a subrelation of proper part |
appearance as argument number 2 |
![]() |
(format EnglishLanguage physicalEnd "one end of %2 is %1") | Merge.kif 18118-18118 | |
(termFormat EnglishLanguage physicalEnd "physical end") | Merge.kif 18126-18126 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (physicalEnd ?P1 ?O) (physicalEnd ?P2 ?O) (not (equal ?P1 ?P2)) (distance ?P1 ?P2 (MeasureFn ?D ?U))) (not (exists (?OP1 ?OP2 ?N2) (and (physicalEnd ?OP1 ?O) (physicalEnd ?OP2 ?O) (not (equal ?OP1 ?OP2)) (distance ?OP1 ?OP2 (MeasureFn ?N2 ?U)) (greaterThan ?N2 ?D))))) |
Merge.kif 18133-18148 |
|
![]() |
![]() |