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 | Le nombre 1 argument de physicalEnd est une instance de objet |
(domain physicalEnd 2 Object) | Merge.kif 17935-17935 | Le nombre 2 argument de physicalEnd est une instance de objet |
(instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1254-1254 | physicalEnd est une instance de pr�dicat binaire |
(instance physicalEnd BinaryRelation) | Merge.kif 17933-17933 | physicalEnd est une instance de relation binaire |
(subrelation physicalEnd part) | Merge.kif 17941-17941 | physicalEnd est une sous-relation de part |
(subrelation physicalEnd properPart) | Mid-level-ontology.kif 1255-1255 | physicalEnd est une sous-relation de properPart |
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 |
|