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 | Il numero 1 argomenti di physicalEnd è un istanza di Oggetto |
(domain physicalEnd 2 Object) | Merge.kif 17957-17957 | Il numero 2 argomenti di physicalEnd è un istanza di Oggetto |
(instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1254-1254 | physicalEnd è un' istanza di PredicatoBinario |
(instance physicalEnd BinaryRelation) | Merge.kif 17955-17955 | physicalEnd è un' istanza di RelazioneBinaria |
(subrelation physicalEnd part) | Merge.kif 17963-17963 | physicalEnd è una sottorelazione di part |
(subrelation physicalEnd properPart) | Mid-level-ontology.kif 1255-1255 | physicalEnd è una sottorelazione di properPart |
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 |
|