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 | Il numero 1 argomenti di physicalEnd è un istanza di Oggetto |
(domain physicalEnd 2 Object) | Merge.kif 17935-17935 | 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 17933-17933 | physicalEnd è un' istanza di RelazioneBinaria |
(subrelation physicalEnd part) | Merge.kif 17941-17941 | 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 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 |
|