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 1250-1251 | |
(domain physicalEnd 1 Object) | Merge.kif 18013-18013 | Die Zahl 1 Argument von physicalEnd ist ein fall von Object %n{nicht} |
(domain physicalEnd 2 Object) | Merge.kif 18014-18014 | Die Zahl 2 Argument von physicalEnd ist ein fall von Object %n{nicht} |
(instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1247-1247 | physicalEnd ist ein fall von BinaryPredicate %n{nicht} |
(instance physicalEnd BinaryRelation) | Merge.kif 18012-18012 | physicalEnd ist ein fall von BinaryRelation %n{nicht} |
(subrelation physicalEnd part) | Merge.kif 18020-18020 | physicalEnd ist eine teilrelation von teil |
(subrelation physicalEnd properPart) | Mid-level-ontology.kif 1248-1248 | physicalEnd ist eine teilrelation von korrektesTeil |
appearance as argument number 2 |
(format EnglishLanguage physicalEnd "one end of %2 is %1") | Merge.kif 18019-18019 | |
(termFormat EnglishLanguage physicalEnd "physical end") | Merge.kif 18018-18018 |
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 18026-18041 |
|