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