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.") | Mid-level-ontology.kif 1257-1258 | |
(domain physicalEnd 1 Object) | Merge.kif 17956-17956 | 域 physicalEnd, 1 and Object |
(domain physicalEnd 2 Object) | Merge.kif 17957-17957 | 域 physicalEnd, 2 and Object |
(instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1254-1254 | 例 physicalEnd and BinaryPredicate |
(instance physicalEnd BinaryRelation) | Merge.kif 17955-17955 | 例 physicalEnd and BinaryRelation |
(subrelation physicalEnd part) | Merge.kif 17963-17963 | 子關係 physicalEnd and 部分 |
(subrelation physicalEnd properPart) | Mid-level-ontology.kif 1255-1255 | 子關係 physicalEnd and 適當的部分 |
appearance as argument number 2 |
(format EnglishLanguage physicalEnd "one end of %2 is %1") | Merge.kif 17962-17962 | |
(termFormat EnglishLanguage physicalEnd "physical end") | Merge.kif 17961-17961 |
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 17969-17984 |
|