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 | physicalEnd の数値 1 引数は オブジェクト の instance では %n |
(domain physicalEnd 2 Object) | Merge.kif 17935-17935 | physicalEnd の数値 2 引数は オブジェクト の instance では %n |
(instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1254-1254 | physicalEnd は 2進述語 の instance では %n |
(instance physicalEnd BinaryRelation) | Merge.kif 17933-17933 | physicalEnd は 2項関係 の instance では %n |
(subrelation physicalEnd part) | Merge.kif 17941-17941 | physicalEnd は part の subrelation では %n |
(subrelation physicalEnd properPart) | Mid-level-ontology.kif 1255-1255 | physicalEnd は properPart の subrelation では %n |
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 |
|