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 | The number 1 argument of physical end is an instance of object |
(domain physicalEnd 2 Object) | Merge.kif 17957-17957 | The number 2 argument of physical end is an instance of object |
(instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1254-1254 | physical end is an instance of binary predicate |
(instance physicalEnd BinaryRelation) | Merge.kif 17955-17955 | physical end is an instance of binary relation |
(subrelation physicalEnd part) | Merge.kif 17963-17963 | physical end is a subrelation of part |
(subrelation physicalEnd properPart) | Mid-level-ontology.kif 1255-1255 | physical end is a subrelation of proper part |
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 |
|