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 18104-18105 | |
(domain physicalEnd 1 Object) | Merge.kif 18106-18106 | physicalEnd の数値 1 引数は オブジェクト の instance では |
(domain physicalEnd 2 Object) | Merge.kif 18107-18107 | physicalEnd の数値 2 引数は オブジェクト の instance では |
(instance physicalEnd BinaryPredicate) | Merge.kif 18101-18101 | physicalEnd は 2進述語 の instance では |
(subrelation physicalEnd part) | Merge.kif 18112-18112 | physicalEnd は part の subrelation では |
(subrelation physicalEnd properPart) | Merge.kif 18102-18102 | physicalEnd は properPart の subrelation では |
appearance as argument number 2 |
![]() |
(format EnglishLanguage physicalEnd "one end of %2 is %1") | Merge.kif 18103-18103 | |
(termFormat EnglishLanguage physicalEnd "physical end") | Merge.kif 18111-18111 |
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 18118-18133 |
|
![]() |
![]() |