| 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 1642-1643 | |
| (domain physicalEnd 1 Object) | Mid-level-ontology.kif 1644-1644 | |
| (domain physicalEnd 2 Object) | Mid-level-ontology.kif 1645-1645 | |
| (instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1639-1639 | |
| (subrelation physicalEnd properPart) | Mid-level-ontology.kif 1640-1640 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage physicalEnd "one end of %2 is %1") | Mid-level-ontology.kif 1641-1641 |
| antecedent |
|
|
| (=> (and (instance ?L Lever) (instance ?P Pushing) (instance ?M1 Motion) (destination ?P ?E1) (physicalEnd ?E1 ?L) (physicalEnd ?E2 ?L) (not (equal ?E1 ?E2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E1 ?P1)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E1 ?P2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E2 ?P3)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E2 ?P4)) (distance ?P1 ?P2 ?D1) (distance ?P3 ?P4 ?D2)) (greaterThan ?D2 ?D1)) |
Mid-level-ontology.kif 1714-1734 | |
| (=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP)) |
Mid-level-ontology.kif 1674-1678 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1665-1672 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1656-1663 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (part ?P1 ?E1) (part ?P2 ?E2) (distance ?P1 ?P2 ?D1) (not (equal ?E1 ?E2))) (not (exists (?OP1 ?OP2 ?D2) (and (not (part ?OP1 ?E1)) (not (part ?OP2 ?E2)) (distance ?OP1 ?OP2 ?D2) (greaterThan ?D2 ?D1))))) |
Mid-level-ontology.kif 1680-1697 | |
| (=> (physicalEnd ?E ?O) (attribute ?O LongAndThin)) |
Mid-level-ontology.kif 1647-1649 | |
| (=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin))) |
Mid-level-ontology.kif 1651-1654 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners