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 17934-17934 | The number 1 argument of physical end is an instance of object |
(domain physicalEnd 2 Object) | Merge.kif 17935-17935 | 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 17933-17933 | physical end is an instance of binary relation |
(subrelation physicalEnd part) | Merge.kif 17941-17941 | 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 17940-17940 | |
(termFormat EnglishLanguage physicalEnd "physical end") | Merge.kif 17939-17939 |
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 17947-17962 |
|